mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Make the rustc-pull workflow run less often

This commit is contained in:
Jakub Beránek 2025-02-03 22:06:13 +01:00
parent 95b2d3c095
commit 6a5c177e46
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/rustc-pull.yml vendored
View File

@ -3,8 +3,8 @@ name: rustc-pull
on: on:
workflow_dispatch: workflow_dispatch:
schedule: schedule:
# Run at 04:00 UTC every day # Run at 04:00 UTC every Monday and Thursday
- cron: '0 4 * * *' - cron: '0 4 * * 1,4'
jobs: jobs:
pull: pull: