Merge pull request #4278 from RalfJung/cron-test-done
remove test trigger fron cron job
This commit is contained in:
commit
765d4b29af
1 changed files with 1 additions and 1 deletions
2
src/tools/miri/.github/workflows/ci.yml
vendored
2
src/tools/miri/.github/workflows/ci.yml
vendored
|
|
@ -6,7 +6,7 @@ on:
|
|||
branches:
|
||||
- 'master'
|
||||
schedule:
|
||||
- cron: '44 4,17 * * *' # At 4:44 UTC every day.
|
||||
- cron: '44 4 * * *' # At 4:44 UTC every day.
|
||||
|
||||
defaults:
|
||||
run:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue