mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-03 11:25:40 +00:00
Code Activity

use Ubuntu-latest everywhere

Browse source
This commit is contained in:
jofleish 2022-08-11 17:19:42 -04:00
parent 7321e88764
commit eaa645b584
2 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
scripts/mk_nuget_task.py
View file

@ -21,7 +21,8 @@ def mk_dir(d):
if not os.path.exists(d): if not os.path.exists(d):
os.makedirs(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'), 'ubuntu-20' : ('so', 'linux-x64'),
'glibc-2.31' : ('so', 'linux-x64'), 'glibc-2.31' : ('so', 'linux-x64'),
'x64-win' : ('dll', 'win-x64'), 'x64-win' : ('dll', 'win-x64'),

4
scripts/nightly.yaml
View file

@ -92,7 +92,7 @@ stages:
name: ManyLinux name: ManyLinux
displayName: "ManyLinux build" displayName: "ManyLinux build"
pool: pool:
vmImage: "Ubuntu-18.04" vmImage: "ubuntu-latest"
container: "quay.io/pypa/manylinux2010_x86_64:latest" container: "quay.io/pypa/manylinux2010_x86_64:latest"
steps: steps:
- script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava
@ -111,7 +111,7 @@ stages:
# name: MuslLinux # name: MuslLinux
# displayName: "MuslLinux build" # displayName: "MuslLinux build"
# pool: # pool:
# vmImage: "Ubuntu-18.04" # vmImage: "Ubuntu-latest"
# container: "quay.io/pypa/musllinux_1_1_x86_64:latest" # container: "quay.io/pypa/musllinux_1_1_x86_64:latest"
# steps: # steps:
# - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava # - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava