From e9660016bc7d810f8763834f9f55758b4fb3a741 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 28 May 2022 14:21:23 -0700
Subject: [PATCH] remove hardwired image name

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 95cb694b7..1af5fc387 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -105,7 +105,7 @@ stages:
     displayName: "$(name) build"
     pool:
       vmImage: "Ubuntu-18.04"
-    container: "quay.io/pypa/manylinux2010_x86_64:latest"
+    container: $(image)
     steps:
     - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava
     - script: git clone https://github.com/z3prover/z3test z3test