Only run the pull workflow once per week

Kobzol · Kobzol · commit 68121856c69b · 2025-08-07T10:41:43.000+02:00
diff --git a/.github/workflows/rustc-pull.yml b/.github/workflows/rustc-pull.yml
@@ -3,8 +3,8 @@ name: rustc-pull
 on:
   workflow_dispatch:
   schedule:
-    # Run at 04:00 UTC every Monday and Thursday
-    - cron: '0 4 * * 1,4'
+    # Run at 04:00 UTC every Monday
+    - cron: '0 4 * * 1'
 
 jobs:
   pull:
