From 72e57f550d46f120946d253e314e96c81ebfa604 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 11 Nov 2020 17:38:07 -0800
Subject: [PATCH] update release similar to nightly

---
 scripts/release.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index 5da454e56..faabac966 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -75,8 +75,8 @@ stages:
   - job: ManyLinuxBuild
     displayName: "ManyLinux build"
     pool:
-      vmImage: "ubuntu-16.04"
-    container: "rhelmot/manylinux1_x86_64:latest"
+      vmImage: "ubuntu-latest"
+    container: "quay.io/pypa/manylinux2010_x86_64:latest"
     variables:
       python: "/opt/python/cp35-cp35m/bin/python"
     steps: