diff options
| author | Ralf Jung <post@ralfj.de> | 2025-06-29 12:11:19 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-06-29 12:22:58 +0200 |
| commit | 7be1bf7dfe5fb8e846b7776c815e6daea9419e62 (patch) | |
| tree | 2c97490659be66d544d483bd2a23d072d4d378ac /src/tools/miri/.github/workflows/setup | |
| parent | 03a7b9f532d183b97a5caa5519b3fb734eb1e20a (diff) | |
make ./miri work on stable again
Diffstat (limited to 'src/tools/miri/.github/workflows/setup')
| -rw-r--r-- | src/tools/miri/.github/workflows/setup/action.yml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/tools/miri/.github/workflows/setup/action.yml b/src/tools/miri/.github/workflows/setup/action.yml index 146b432171e..f374897bc78 100644 --- a/src/tools/miri/.github/workflows/setup/action.yml +++ b/src/tools/miri/.github/workflows/setup/action.yml @@ -39,10 +39,6 @@ runs: run: cargo install -f rustup-toolchain-install-master hyperfine shell: bash - - name: Install nightly toolchain - run: rustup toolchain install nightly --profile minimal - shell: bash - - name: Install "master" toolchain run: | if [[ ${{ github.event_name }} == 'schedule' ]]; then |