rename

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 2, 2024 · 93cbcd0 · 93cbcd0
1 parent 77b98d5
commit 93cbcd0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -59,13 +59,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-$(NightlyVersion)-ubuntu-arm64'
+#          name: 'z3-$(AssemblyVersion)-arm64-ubuntu'
 #          compiler: 'aarch64-linux-gnu-g++-11'
         x64:
           setupcmds: 'sudo apt update& sudo apt install ninja-build -y'
           buildenv: ''
           arch: 'x64'
-          name: 'z3-$(NightlyVersion)-ubuntu-x64'
+          name: 'z3-$(AssemblyVersion)-x64-ubuntu'
           compiler: 'g++'
     steps:
     - script: $(setupcmds)