bind variables

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jul 6, 2022 · 593d5be · 593d5be
1 parent 8b35b7b
commit 593d5be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/release.yml b/scripts/release.yml
@@ -137,7 +137,7 @@ stages:
       python: "/opt/python/cp37-cp37m/bin/python"
     pool:
       vmImage: "ubuntu-latest"
-    container: $(image)
+    container: "quay.io/pypa/manylinux2010_x86_64:latest"
     steps:
     - task: PythonScript@0
       displayName: Build