diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index be6dd203b..c315b0071 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -24,6 +24,7 @@ def mk_dir(d): os_info = { 'ubuntu-latest' : ('so', 'linux-x64'), 'ubuntu-18' : ('so', 'linux-x64'), 'ubuntu-20' : ('so', 'linux-x64'), + 'ubuntu-22' : ('so', 'linux-x64'), 'x64-glibc-2.35' : ('so', 'linux-x64'), 'x64-win' : ('dll', 'win-x64'), 'x86-win' : ('dll', 'win-x86'), diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index b4db84449..43d4fa1e1 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -60,13 +60,13 @@ stages: setupcmds: 'sudo apt update& sudo apt install gcc-arm-none-eabi gcc-arm-linux-gnueabihf gcc-aarch64-linux-gnu g++-aarch64-linux-gnu ninja-build -y' buildenv: 'CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc' arch: 'arm64' - name: 'z3-$(AssemblyVersion)-arm64-ubuntu' + name: 'z3-$(AssemblyVersion)-arm64-ubuntu-22' compiler: 'aarch64-linux-gnu-g++-11' x64: setupcmds: 'sudo apt update& sudo apt install ninja-build -y' buildenv: '' arch: 'x64' - name: 'z3-$(AssemblyVersion)-x64-ubuntu' + name: 'z3-$(AssemblyVersion)-x64-ubuntu-22' compiler: 'g++' steps: - script: $(setupcmds)