diff options
| author | Ralf Jung <post@ralfj.de> | 2024-08-10 13:06:24 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-08-10 13:07:12 +0200 |
| commit | feab3240857e568b25d3950b6e5697bb4b0b7e6e (patch) | |
| tree | dab35f37429d67b5024151a4b0a74fa806784bab | |
| parent | 8197f07e0ec61b2a7c9d53ca8047ecc35d09c378 (diff) | |
| download | rust-feab3240857e568b25d3950b6e5697bb4b0b7e6e.tar.gz rust-feab3240857e568b25d3950b6e5697bb4b0b7e6e.zip | |
CI: we now need the nightly toolchain as well
| -rw-r--r-- | src/tools/miri/.github/workflows/setup/action.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/tools/miri/.github/workflows/setup/action.yml b/src/tools/miri/.github/workflows/setup/action.yml index 8f54b5b8d81..bf5749a7b17 100644 --- a/src/tools/miri/.github/workflows/setup/action.yml +++ b/src/tools/miri/.github/workflows/setup/action.yml @@ -35,6 +35,10 @@ 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 |