fix deployment install

kth-step · Jan 14, 2024 · f45a7d5 · f45a7d5
1 parent 12eff35
commit f45a7d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -26,7 +26,7 @@ jobs:
               opam pin add -n -y -k path coq-abs-metatheory .
               opam update -y
               opam install -y -j "$(nproc)" coq-abs-metatheory --deps-only
-              opam install -y -j "$(nproc)" ott conf-texlive
+              opam install --confirm-level=unsafe-yes -j "$(nproc)" ott conf-texlive
             endGroup
             startGroup "Add permissions"
               sudo chown -R coq:coq .