deployment adjustment

kth-step · Jan 14, 2024 · c261980 · c261980
1 parent 72864fe
commit c261980
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -25,7 +25,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 .