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