From 9883a0b98301acc1f76ff77b4223f6c16f098f0d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 11 Feb 2021 09:43:22 -0800
Subject: [PATCH] downgrade to Ubuntu 18 for ocaml doc build

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 96ef85ebc..e8175a3df 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -36,7 +36,7 @@ stages:
   - job: UbuntoDoc
     displayName: "Ubuntu Doc build"
     pool:
-      vmImage: "ubuntu-latest"
+      vmImage: "Ubuntu-18.04"
     steps:
     - script: sudo apt-get install ocaml opam libgmp-dev
     - script: sudo apt-get install doxygen