From 6a5c177e4646948220fe3b846789d4430ee8c40d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= <berykubik@gmail.com>
Date: Mon, 3 Feb 2025 22:06:13 +0100
Subject: [PATCH] Make the rustc-pull workflow run less often

---
 .github/workflows/rustc-pull.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/rustc-pull.yml b/.github/workflows/rustc-pull.yml
index 5bfcf47d..dc5395a1 100644
--- 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 day
-    - cron: '0 4 * * *'
+    # Run at 04:00 UTC every Monday and Thursday
+    - cron: '0 4 * * 1,4'
 
 jobs:
   pull: