Disable windows build, it amazingly already failed

FStarLang · Jan 15, 2025 · 1e5e4e3 · 1e5e4e3
1 parent 9586bc2
commit 1e5e4e3
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/.github/workflows/build-all.yml b/.github/workflows/build-all.yml
@@ -5,13 +5,15 @@ on:
   workflow_dispatch:
 
 jobs:
+  # Disable when Windows is reenabled.
+  build-src:
+    uses: ./.github/workflows/build-src.yml
+
   build-linux:
-    # This job also builds an (architecture-indepenendent) source package
-    # artifact.
     uses: ./.github/workflows/build-linux.yml
 
   build-macos:
     uses: ./.github/workflows/build-macos.yml
 
-  build-windows:
-    uses: ./.github/workflows/build-windows.yml
+  # build-windows:
+  #   uses: ./.github/workflows/build-windows.yml