diff options
| author | Tshepang Mbambo <hopsi@tuta.io> | 2025-08-07 10:45:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-07 10:45:13 +0200 |
| commit | 96083afbb2c20eaca11032eb1b2648ca682e40d0 (patch) | |
| tree | 07b41f7cabe404c53ae5fa906c00c9817d72ccd6 /src | |
| parent | a730daa0671255cd786db66ac5d43689457d6db3 (diff) | |
| parent | 186ea6e1e6cbd0edf35ae6aca4abf441856f168f (diff) | |
| download | rust-96083afbb2c20eaca11032eb1b2648ca682e40d0.tar.gz rust-96083afbb2c20eaca11032eb1b2648ca682e40d0.zip | |
Merge pull request #2540 from Kobzol/ci-cron-interval
Only run the pull workflow once per week
Diffstat (limited to 'src')
| -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 04d6469aeaa..5ff3118960d 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 Monday and Thursday - - cron: '0 4 * * 1,4' + # Run at 04:00 UTC every Monday + - cron: '0 4 * * 1' jobs: pull: |