diff options
| author | Ben Kimock <kimockb@gmail.com> | 2025-03-07 00:44:50 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-07 00:44:50 +0000 |
| commit | ccccf40015c2fd5956205a704e40e8081dc8cce4 (patch) | |
| tree | 7facdcb45b51a1b88edae620e4c4c9f1b11025fd | |
| parent | b178f22bd8267155f2e330731a53ef3e4eac28bb (diff) | |
| parent | 726c8d4c57f31a4ff6e37d73224fc37bdd2830b9 (diff) | |
| download | rust-ccccf40015c2fd5956205a704e40e8081dc8cce4.tar.gz rust-ccccf40015c2fd5956205a704e40e8081dc8cce4.zip | |
Merge pull request #4218 from saethlin/tier-2-sysroots
Fix tier 2 sysroots job
| -rw-r--r-- | src/tools/miri/.github/workflows/sysroots.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/.github/workflows/sysroots.yml b/src/tools/miri/.github/workflows/sysroots.yml index 6a4f44ddd50..11bcaec9255 100644 --- a/src/tools/miri/.github/workflows/sysroots.yml +++ b/src/tools/miri/.github/workflows/sysroots.yml @@ -16,6 +16,7 @@ jobs: - uses: actions/checkout@v4 - name: Build the sysroots run: | + rustup toolchain install nightly cargo install -f rustup-toolchain-install-master ./miri toolchain -c rust-docs # Docs are the only place targets are separated by tier ./miri install |