diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-08-25 05:03:10 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-08-25 05:03:10 +0000 |
| commit | ca89652f896dad0213e060ce9f6787c72e36a0e9 (patch) | |
| tree | 7ef1c1f5acf3a267d9a288380957f2a0ec69156b /src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml | |
| parent | 22ef90c8049cf8f07ce42e09f01ca791b829594e (diff) | |
| parent | baff99c556a22c962c15cfb9f79a0dcb1d467b20 (diff) | |
| download | rust-ca89652f896dad0213e060ce9f6787c72e36a0e9.tar.gz rust-ca89652f896dad0213e060ce9f6787c72e36a0e9.zip | |
Merge ref 'a1dbb443527b' from rust-lang/rust
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: a1dbb443527bd126452875eb5d5860c1d001d761 Filtered ref: e644bd7324c7e071785356fcaad5bd89e671366b This merge was created using https://github.com/rust-lang/josh-sync.
Diffstat (limited to 'src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml')
| -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: |