diff options
| author | Ralf Jung <post@ralfj.de> | 2025-04-17 18:44:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-17 18:44:09 +0000 |
| commit | 765d4b29af1830e41862d966d2f37f0807baac06 (patch) | |
| tree | fb192681a4b0b45d885cb75ac237f4c036a9d33f | |
| parent | 817e72521f6a87a043475c7cd3e4d6883ed7552d (diff) | |
| parent | e3b01c774953b8174c556b8a96383fe3132db931 (diff) | |
| download | rust-765d4b29af1830e41862d966d2f37f0807baac06.tar.gz rust-765d4b29af1830e41862d966d2f37f0807baac06.zip | |
Merge pull request #4278 from RalfJung/cron-test-done
remove test trigger fron cron job
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 86815fc60fb..bd6d51530a9 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -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: |