mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 09:04:07 +00:00
Code Activity

Update OCaml jobs to use Ubuntu-latest in Azure Pipelines configuration

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-09-23 17:25:44 +01:00
parent 0604d23c57
commit 95d2e009ef
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
azure-pipelines.yml
View file

@ -76,10 +76,10 @@ jobs:
- script: "pip install build git+https://github.com/rhelmot/auditwheel"
- script: "cd src/api/python && CC=aarch64-none-linux-gnu-gcc CXX=aarch64-none-linux-gnu-g++ AR=aarch64-none-linux-gnu-ar LD=aarch64-none-linux-gnu-ld python -m build && AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl && cd ../../.."
- job: "Ubuntu20OCaml"
displayName: "Ubuntu 20 with OCaml"
- job: "UbuntuOCaml"
displayName: "Ubuntu with OCaml"
pool:
vmImage: "Ubuntu-20.04"
vmImage: "Ubuntu-latest"
steps:
- script: sudo apt-get install ocaml opam libgmp-dev
- script: opam init -y
@ -100,9 +100,9 @@ jobs:
- job: "Ubuntu20OCamlStatic"
displayName: "Ubuntu 20 with OCaml on z3-static"
displayName: "Ubuntu with OCaml on z3-static"
pool:
vmImage: "Ubuntu-20.04"
vmImage: "Ubuntu-latest"
steps:
- script: sudo apt-get install ocaml opam libgmp-dev
- script: opam init -y