ci: TEMP-disable Linux/macOS CI jobs to free minutes for Windows debug

Author: disteph

.github/workflows/ci.yml

@@ -10,7 +10,11 @@ on:
 
 jobs:
   build-push:
-    if: github.event_name == 'push'
+    # TEMP: disabled while debugging the windows-latest|release|--enable-thread-safety
+    # --enable-mcsat mcsat_tuples failure. The PP_DIAG prints are now gated on
+    # YICES_PP_TRACE so this job would pass, but we skip it to free CI minutes
+    # for fast Windows iteration. Restore by deleting `false &&` below.
+    if: false && github.event_name == 'push'
     strategy:
       matrix:
         os: [ubuntu-latest]
@@ -64,7 +68,11 @@ jobs:
           path-to-lcov: 'coverage.info'
 
   build-pr:
-    if: github.event_name == 'pull_request'
+    # TEMP: disabled while debugging the windows-latest|release|--enable-thread-safety
+    # --enable-mcsat mcsat_tuples failure. The PP_DIAG prints are now gated on
+    # YICES_PP_TRACE so this job would pass, but we skip it to free CI minutes
+    # for fast Windows iteration. Restore by deleting `false &&` below.
+    if: false && github.event_name == 'pull_request'
     strategy:
       matrix:
         os: [ubuntu-latest, macos-latest]