diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-02-03 22:06:13 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-02-03 23:41:48 +0100 |
| commit | 3e5b413dc47c75dd36cac61d6d028feddc413f6f (patch) | |
| tree | 0daf03c4bbd16c7f798e804855de6ebf590c8c45 | |
| parent | ca06fbc7627d9be751f969a4df584fd99f8035b5 (diff) | |
| download | rust-3e5b413dc47c75dd36cac61d6d028feddc413f6f.tar.gz rust-3e5b413dc47c75dd36cac61d6d028feddc413f6f.zip | |
Make the rustc-pull workflow run less often
| -rw-r--r-- | src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml index 5bfcf47d703..dc5395a19dd 100644 --- a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml +++ b/src/doc/rustc-dev-guide/.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: |