mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #2623 - RalfJung:cron, r=RalfJung

Browse Source 
change cronjob time

This way it is again in my morning.
This commit is contained in:
bors 2022-10-27 07:38:19 +00:00
commit d795f7e479
1 changed files with 1 additions and 1 deletions
Show Stats 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: '5 15 * * *' # At 15:05 UTC every day.
- cron: '6 6 * * *' # At 6:06 UTC every day.
env:
CARGO_UNSTABLE_SPARSE_REGISTRY: 'true'