disable arm64 nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 2, 2024 · 06466be · 06466be
1 parent 28d62bf
commit 06466be
Showing 1 changed file with 6 additions and 6 deletions.
diff --git 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: ''