mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-02 04:27:52 +00:00
Code Activity

renemable Centos AMD nightly

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-10-28 18:55:36 -07:00
parent b42734479e
commit aa74dc6679
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
scripts/nightly.yaml
View file

@ -151,7 +151,6 @@ stages:
pool: pool:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
container: "quay.io/pypa/manylinux2014_x86_64:latest" container: "quay.io/pypa/manylinux2014_x86_64:latest"
condition: eq(0, 1)
steps: steps:
- script: "/opt/python/cp38-cp38/bin/python -m venv $PWD/env" - script: "/opt/python/cp38-cp38/bin/python -m venv $PWD/env"
- script: 'echo "##vso[task.prependpath]$PWD/env/bin"' - script: 'echo "##vso[task.prependpath]$PWD/env/bin"'