mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2246 from marxin/CI-more-ofter 

Run CI multiple times a day
This commit is contained in:
Noah Lev 2025-02-15 17:06:46 -05:00 committed by GitHub
parent 5aff120c99 2ceea672a0
commit 6ae7ec5386
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/ci.yml vendored
View File

@ -6,8 +6,8 @@ on:
- master - master
pull_request: pull_request:
schedule: schedule:
# Run at 18:00 UTC every day # Run multiple times a day as the successfull cached links are not checked every time.
- cron: '0 18 * * *' - cron: '0 */8 * * *'
jobs: jobs:
ci: ci: