user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make the rustc-pull workflow run less often

Browse source
This commit is contained in:
Jakub Beránek 2025-02-03 22:06:13 +01:00
parent ca06fbc762
commit 3e5b413dc4
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml vendored
View file

@ -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: