From 41cc0372042a1b750d025b442b9c43965ed4b606 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 10 Nov 2020 16:17:35 -0800
Subject: [PATCH] change manylinux to ubuntu-latest

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 6daa79ff4..885698bf2 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -34,7 +34,7 @@ jobs:
 - job: Manylinux
   displayName: "Manylinux build"
   pool:
-    vmImage: "ubuntu-16.04"
+    vmImage: "ubuntu-latest"
   container: "rhelmot/manylinux1_x86_64:latest"
   variables:
     python: "/opt/python/cp35-cp35m/bin/python"