From 93cbcd00bd460812b3623518957c5b604e3b50ab Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 1 Feb 2024 21:42:21 -0800 Subject: [PATCH] rename Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 3b6479a3e..f019fb508 100644 --- 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)