From 06466be999a48be0fd889f5d1a344e6a4161dd5a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 1 Feb 2024 16:41:14 -0800 Subject: [PATCH] disable arm64 nightly Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 3d59a11d7..3b6479a3e 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -55,12 +55,12 @@ stages: vmImage: "ubuntu-latest" strategy: matrix: - arm64: - 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' - compiler: 'aarch64-linux-gnu-g++-11' +# arm64: +# 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' +# compiler: 'aarch64-linux-gnu-g++-11' x64: setupcmds: 'sudo apt update& sudo apt install ninja-build -y' buildenv: ''