diff options
| author | Ben Kimock <kimockb@gmail.com> | 2024-01-08 09:46:34 -0500 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2024-01-08 09:46:34 -0500 |
| commit | 47443364e812ccdd3fb36f5f87503d075454244e (patch) | |
| tree | 19afd4128d57b22379775dcb25e8c32caf8028cd | |
| parent | 0ddccf933abfc37559b9d2b2ae61bd729bd1f5df (diff) | |
| download | rust-47443364e812ccdd3fb36f5f87503d075454244e.tar.gz rust-47443364e812ccdd3fb36f5f87503d075454244e.zip | |
Run the tier 2 sysroots job on a schedule, not push
| -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: |