We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 817e725 + e3b01c7 commit 765d4b2Copy full SHA for 765d4b2
src/tools/miri/.github/workflows/ci.yml
@@ -6,7 +6,7 @@ on:
6
branches:
7
- 'master'
8
schedule:
9
- - cron: '44 4,17 * * *' # At 4:44 UTC every day.
+ - cron: '44 4 * * *' # At 4:44 UTC every day.
10
11
defaults:
12
run:
0 commit comments