mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-25 01:55:32 +00:00
Code Activity

Standardize ubutu-latest vmImage

Browse source
This commit is contained in:
jofleish 2022-08-15 09:11:20 -04:00 • committed by Nikolaj Bjorner
parent e0aa32e6c5
commit 88f4664c65
5 changed files with 10 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

6
azure-pipelines.yml
View file

@ -21,7 +21,7 @@ jobs:
- job: "LinuxPythonDebug"
displayName: "Ubuntu build - python make - debug"
pool:
vmImage: "Ubuntu-latest"
vmImage: "ubuntu-latest"
strategy:
matrix:
MT:
@ -102,7 +102,7 @@ jobs:
displayName: "Ubuntu build - cmake"
condition: eq(0,1)
pool:
vmImage: "Ubuntu-latest"
vmImage: "ubuntu-latest"
strategy:
matrix:
msanClang:
@ -135,7 +135,7 @@ jobs:
- job: "UbuntuCMake"
displayName: "Ubuntu build - cmake"
pool:
vmImage: "Ubuntu-latest"
vmImage: "ubuntu-latest"
strategy:
matrix:
releaseClang:

2
scripts/jsdoctest.yml
View file

@ -12,7 +12,7 @@ stages:
- job: UbuntuDoc
displayName: "Ubuntu Doc build"
pool:
vmImage: "Ubuntu-latest"
vmImage: "ubuntu-latest"
steps:
# TODO setup emscripten with no-install, then run
- script: npm --prefix=src/api/js ci

3
scripts/mk_nuget_task.py
View file

@ -21,7 +21,8 @@ def mk_dir(d):
if not os.path.exists(d):
os.makedirs(d)
os_info = { 'ubuntu-18' : ('so', 'linux-x64'),
os_info = { 'ubuntu-latest' : ('so', 'linux-x64'),
'ubuntu-18' : ('so', 'linux-x64'),
'ubuntu-20' : ('so', 'linux-x64'),
'glibc-2.31' : ('so', 'linux-x64'),
'x64-win' : ('dll', 'win-x64'),

6
scripts/nightly.yaml
View file

@ -55,7 +55,7 @@ stages:
- job: UbuntuDoc
displayName: "Ubuntu Doc build"
pool:
vmImage: "Ubuntu-latest"
vmImage: "ubuntu-latest"
steps:
- script: sudo apt-get install ocaml opam libgmp-dev
- script: opam init -y
@ -92,7 +92,7 @@ stages:
name: ManyLinux
displayName: "ManyLinux build"
pool:
vmImage: "Ubuntu-18.04"
vmImage: "ubuntu-latest"
container: "quay.io/pypa/manylinux2010_x86_64:latest"
steps:
- script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava
@ -111,7 +111,7 @@ stages:
# name: MuslLinux
# displayName: "MuslLinux build"
# pool:
# vmImage: "Ubuntu-18.04"
# vmImage: "ubuntu-latest"
# container: "quay.io/pypa/musllinux_1_1_x86_64:latest"
# steps:
# - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava

2
scripts/release.yml
View file

@ -91,7 +91,7 @@ stages:
- job: UbuntuDoc
displayName: "Ubuntu Doc build"
pool:
vmImage: "Ubuntu-latest"
vmImage: "ubuntu-latest"
steps:
- script: sudo apt-get install ocaml opam libgmp-dev
- script: opam init -y