diff options
| author | Noah Lev <camelidcamel@gmail.com> | 2025-02-15 17:06:46 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-15 17:06:46 -0500 |
| commit | 34db7baf88a10031f375a6609eb995cd37e1a421 (patch) | |
| tree | 00b5e480cb2b3968c684a83654d6d0f29ee431c6 /src/doc/rustc-dev-guide/.github/workflows | |
| parent | ba340ec0860c0e0a112cd5613c1708796eb7fc63 (diff) | |
| parent | fcfabc107691774ee3b15d9d771b4dc1d6a014bc (diff) | |
| download | rust-34db7baf88a10031f375a6609eb995cd37e1a421.tar.gz rust-34db7baf88a10031f375a6609eb995cd37e1a421.zip | |
Merge pull request #2246 from marxin/CI-more-ofter
Run CI multiple times a day
Diffstat (limited to 'src/doc/rustc-dev-guide/.github/workflows')
| -rw-r--r-- | src/doc/rustc-dev-guide/.github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/.github/workflows/ci.yml b/src/doc/rustc-dev-guide/.github/workflows/ci.yml index 2bae8fcbdfa..2796c142084 100644 --- a/src/doc/rustc-dev-guide/.github/workflows/ci.yml +++ b/src/doc/rustc-dev-guide/.github/workflows/ci.yml @@ -6,8 +6,8 @@ on: - master pull_request: schedule: - # Run at 18:00 UTC every day - - cron: '0 18 * * *' + # Run multiple times a day as the successfull cached links are not checked every time. + - cron: '0 */8 * * *' jobs: ci: |