diff options
| author | bors <bors@rust-lang.org> | 2023-09-22 05:29:32 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-09-22 05:29:32 +0000 |
| commit | aea1eff871cdb587e936613a9b3d160cd5d61049 (patch) | |
| tree | 08bc32ae2c96969cba08d0a03c96a224e12ec271 | |
| parent | 5b8695b6bcbb90b6e92fe748eaa822eedf1c5c00 (diff) | |
| parent | 838e6a6b78ec61c2802d8f1364d2f07c4e2453db (diff) | |
| download | rust-aea1eff871cdb587e936613a9b3d160cd5d61049.tar.gz rust-aea1eff871cdb587e936613a9b3d160cd5d61049.zip | |
Auto merge of #3073 - RalfJung:cron, r=RalfJung
run the cron job a bit earlier
| -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 5e2abdde6ac..f026b7fd104 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -10,7 +10,7 @@ on: branches: - 'master' schedule: - - cron: '11 5 * * *' # At 5:11 UTC every day. + - cron: '44 4 * * *' # At 4:44 UTC every day. defaults: run: |