update assembly names

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 4, 2024 · c926705 · c926705
1 parent b9bec18
commit c926705
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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)