change manylinux to ubuntu-latest

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 11, 2020 · 41cc037 · 41cc037
1 parent 4810b4c
commit 41cc037
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"