user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

move nightly cron job a little earlier

Browse source
This commit is contained in:
Ralf Jung 2023-07-26 09:09:57 +02:00
parent 0c9d1a353e
commit 58cb4849d3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/.github/workflows/ci.yml vendored
View file

@ -10,7 +10,7 @@ on:
branches:
- 'master'
schedule:
- cron: '6 6 * * *' # At 6:06 UTC every day.
- cron: '11 5 * * *' # At 5:11 UTC every day.
env:
CARGO_UNSTABLE_SPARSE_REGISTRY: 'true'