diff options
| author | Ralf Jung <post@ralfj.de> | 2025-06-29 10:43:15 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-06-29 13:38:55 +0200 |
| commit | ea690818bdd904d94f40375ab5e6bd996e008ba0 (patch) | |
| tree | 7c8b02b28291746a2f946c19ea720be1f778bf5a /src/tools/miri/.github/workflows/setup | |
| parent | 85357d1e5cf56d8aca54e7d4f6cc365b006f484a (diff) | |
also test on arm-64 linux hosts
Diffstat (limited to 'src/tools/miri/.github/workflows/setup')
| -rw-r--r-- | src/tools/miri/.github/workflows/setup/action.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/tools/miri/.github/workflows/setup/action.yml b/src/tools/miri/.github/workflows/setup/action.yml index 146b432171e..ad86e8ab5d6 100644 --- a/src/tools/miri/.github/workflows/setup/action.yml +++ b/src/tools/miri/.github/workflows/setup/action.yml @@ -2,6 +2,7 @@ name: "Miri CI setup" description: "Sets up Miri CI" inputs: toolchain_flags: + description: extra flags to pass to rustup-toolchain-install-master required: false default: '' runs: @@ -31,8 +32,9 @@ runs: ~/.cargo/bin ~/.cargo/.crates.toml ~/.cargo/.crates2.json - key: cargo-${{ runner.os }}-${{ hashFiles('**/Cargo.lock', '.github/workflows/**/*.yml') }} - restore-keys: cargo-${{ runner.os }} + # Bump the version when something here changes that needs a cache reset. + key: cargo-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('**/Cargo.lock') }}-v1 + restore-keys: cargo-${{ runner.os }}-${{ runner.arch }} - name: Install rustup-toolchain-install-master if: steps.cache.outputs.cache-hit != 'true' |