stop job spamming

mtzguido · Jan 12, 2025 · c41caa1 · c41caa1
1 parent adfeab2
commit c41caa1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build-windows.yml b/.github/workflows/build-windows.yml
@@ -5,8 +5,8 @@ name: Build F* (Windows)
 on:
   workflow_call:
   push:
-  schedule:
-    - cron: '*/5 * * * *'
+  # schedule:
+  #   - cron: '*/5 * * * *'
 
 defaults:
   run: