From 95d2e009ef93fbcd07d531fc4360249a0afc13fa Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 23 Sep 2024 17:25:44 +0100 Subject: [PATCH] Update OCaml jobs to use Ubuntu-latest in Azure Pipelines configuration --- azure-pipelines.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index b7ad2ab1e..18ab31f50 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -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