diff options
| author | bors <bors@rust-lang.org> | 2024-01-08 14:50:45 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-01-08 14:50:45 +0000 |
| commit | 707db44ade898bfe3bcebc1c0d10796894964e7c (patch) | |
| tree | 19afd4128d57b22379775dcb25e8c32caf8028cd | |
| parent | 0ddccf933abfc37559b9d2b2ae61bd729bd1f5df (diff) | |
| parent | 47443364e812ccdd3fb36f5f87503d075454244e (diff) | |
| download | rust-707db44ade898bfe3bcebc1c0d10796894964e7c.tar.gz rust-707db44ade898bfe3bcebc1c0d10796894964e7c.zip | |
Auto merge of #3262 - saethlin:tier-2-cron, r=saethlin
Run the tier 2 sysroots job on a schedule, not push I had this running on push instead of on a schedule so that I could verify that it worked, then forgot to switch it back to cron before merging.
| -rw-r--r-- | src/tools/miri/.github/workflows/sysroots.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/miri/.github/workflows/sysroots.yml b/src/tools/miri/.github/workflows/sysroots.yml index 509521e7478..96d7d4d1118 100644 --- a/src/tools/miri/.github/workflows/sysroots.yml +++ b/src/tools/miri/.github/workflows/sysroots.yml @@ -1,8 +1,8 @@ name: Tier 2 sysroots -on: push -# schedule: -# - cron: '44 4 * * *' # At 4:44 UTC every day. +on: + schedule: + - cron: '44 4 * * *' # At 4:44 UTC every day. defaults: run: |