Make the rustc-pull workflow run less often

Author: Kobzol

.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
+    - cron: '0 4 * * 1'
 
 jobs:
   pull:
@@ -94,7 +94,7 @@ jobs:
           else
             CREATED_AT=`gh pr list --author github-actions[bot] --state open -q 'map(select(.title=="Rustc pull update")) | .[0].createdAt' --json createdAt,title`
             PR_URL=`gh pr list --author github-actions[bot] --state open -q 'map(select(.title=="Rustc pull update")) | .[0].url' --json url,title`
-            week_ago=$(date +%F -d '7 days ago')
+            week_ago=$(date +%F -d '6 days ago')
 
             # If there is an open PR that is at least a week old, post a message about it
             if [[ -n $DATE_GH && $DATE_GH < $week_ago ]]; then