include apt-get update for doc build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jan 13, 2023 · 85abbb8 · 85abbb8
1 parent e4bd406
commit 85abbb8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -54,6 +54,7 @@ stages:
     pool:
       vmImage: "ubuntu-latest"
     steps:
+    - script: sudo apt-get update
     - script: sudo apt-get install ocaml opam libgmp-dev
     - script: opam init -y
     - script: eval `opam config env`; opam install zarith ocamlfind -y