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