diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 9f1851bca..2211e32d2 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -93,7 +93,7 @@ stages: displayName: "ManyLinux build" pool: vmImage: "Ubuntu-18.04" - container: $(image) + container: "quay.io/pypa/manylinux2010_x86_64:latest" steps: - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava - script: git clone https://github.com/z3prover/z3test z3test