From 593d5be20207a693754771076f09b9e6ffecacf4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 5 Jul 2022 17:21:59 -0700 Subject: [PATCH] bind variables Signed-off-by: Nikolaj Bjorner --- scripts/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/release.yml b/scripts/release.yml index 85e1903b271..f341c3e37df 100644 --- 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