Merge pull request #35 from RalfJung/cronj

the gh command needs a token
rust-lang · Feb 10, 2024 · 1cb2c71 · 1cb2c71
2 parents d5882e4 + 31bdfbe
commit 1cb2c71
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,7 +7,7 @@ on:
     branches: ['master']
   schedule:
     - cron: '10 2 * * *' # At 02:10 UTC every day (a bit after rustup-components-history).
-    - cron: '20,35,50 12,13 * * *' # for testing
+    - cron: '20,35,50 14,15 * * *' # for testing
 
 jobs:
   test-core:
@@ -85,6 +85,8 @@ jobs:
           git config --global user.name 'The Miri Conjob Bot'
           git config --global user.email 'miri@cron.bot'
       - name: Create PR
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           # Create commit
           DATE=$(date -u +%Y-%m-%d)