Merge pull request #3678 from mtzguido/windows

Disable windows build, it amazingly already failed
FStarLang · Jan 15, 2025 · 8d3b529 · 8d3b529
2 parents 9586bc2 + 1e5e4e3
commit 8d3b529
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