mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Update nightly.yaml for Azure Pipelines

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-05-28 14:18:50 -07:00
parent 0038817656
commit 6ce03cd6f0
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
scripts/nightly.yaml
View file

@ -98,12 +98,14 @@ stages:
image: "quay.io/pypa/musllinux_1_1_x86_64:latest"
python: "/opt/python/cp310-cp310/bin/python"
maxParallel: 2
variables:
python: $(python)
name: $(name)
image: $(image)
displayName: "$(name) build"
pool:
vmImage: "Ubuntu-18.04"
container: $(image)
variables:
python: $(python)
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