diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 3d59a11d769..3b6479a3e86 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: ''