From 1752055aa6e57ba229ce7f26df450844dbce3257 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 16 Nov 2021 09:49:16 -0800 Subject: [PATCH] update nightly Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 5b7a15aa3..8127b515a 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -36,14 +36,14 @@ stages: - job: UbuntuDoc displayName: "Ubuntu Doc build" pool: - vmImage: "Ubuntu-18.04" + vmImage: "Ubuntu-20.04" steps: - script: sudo apt-get install ocaml opam libgmp-dev - - script: sudo apt-get install doxygen - - script: sudo apt-get install graphviz - script: opam init -y - script: eval `opam config env`; opam install zarith ocamlfind -y - - script: python scripts/mk_make.py --ml --staticlib + - script: eval `opam config env`; python scripts/mk_make.py --ml + - script: sudo apt-get install doxygen + - script: sudo apt-get install graphviz - script: | set -e cd build