From 8c60e7b8f415c0fe6d5fa1b3d1c6f2279ffa93a8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 10 Nov 2020 16:24:56 -0800
Subject: [PATCH] Update nightly.yaml for Azure Pipelines

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 885698bf2e6..b6f12f19592 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -35,7 +35,7 @@ jobs:
   displayName: "Manylinux build"
   pool:
     vmImage: "ubuntu-latest"
-  container: "rhelmot/manylinux1_x86_64:latest"
+  container: "quay.io/pypa/manylinux2010_x86_64"
   variables:
     python: "/opt/python/cp35-cp35m/bin/python"
   steps: