From 85abbb8188b7d5b32784ac967f2b309ff4046622 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 12 Jan 2023 16:58:42 -0800
Subject: [PATCH] include apt-get update for doc build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index a9490e3ea..f06c3b499 100644
--- 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