From c41caa1f0ad1a23767f83336eea3977e66b13663 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Sun, 12 Jan 2025 15:40:34 -0800 Subject: [PATCH] stop job spamming --- .github/workflows/build-windows.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build-windows.yml b/.github/workflows/build-windows.yml index 6aea607d28f..fb71811c357 100644 --- 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: