more deployment adjustment

kth-step · Jan 14, 2024 · 12eff35 · 12eff35
1 parent c261980
commit 12eff35
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -22,10 +22,11 @@ jobs:
           custom_script: |
             {{before_install}}
             startGroup "Build dependencies"
+              sudo apt-get update -y -q
               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 --confirm-level=unsafe-yes -j "$(nproc)" ott conf-texlive
+              opam install -y -j "$(nproc)" ott conf-texlive
             endGroup
             startGroup "Add permissions"
               sudo chown -R coq:coq .