From b7d1d03b0844d2cccff8edf29ec4eeb99ad05ce2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 11 Feb 2021 10:36:48 -0800
Subject: [PATCH] try revert to u18 for centos zip

---
 scripts/nightly.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 769228781..2cf35b9ec 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -71,7 +71,7 @@ stages:
   - job: Manylinux
     displayName: "Manylinux build"
     pool:
-      vmImage: "ubuntu-latest"
+      vmImage: "Ubuntu-18.04"
     container: "quay.io/pypa/manylinux2010_x86_64:latest"
     variables:
       python: "/opt/python/cp35-cp35m/bin/python"