diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-24 14:01:28 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-24 14:31:44 +0100 |
| commit | 04b523ff34402bf641eeefb0475baa291382e869 (patch) | |
| tree | 4cd082c674cd63d10e587884881e3d2d21f61dad | |
| parent | 1dd13ca1b1d979d10c717aa5d426e4edd6b45df1 (diff) | |
| download | rust-04b523ff34402bf641eeefb0475baa291382e869.tar.gz rust-04b523ff34402bf641eeefb0475baa291382e869.zip | |
CI tweaks and show which stable Rust we are using
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index c10c711d61b..2c5868d5b37 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -34,6 +34,12 @@ jobs: steps: - uses: actions/checkout@v3 + - name: Show Rust version (stable toolchain) + run: | + rustup show + rustc -Vv + cargo -V + # Cache the global cargo directory, but NOT the local `target` directory which # we cannot reuse anyway when the nightly changes (and it grows quite large # over time). @@ -57,7 +63,7 @@ jobs: if: ${{ steps.cache.outputs.cache-hit != 'true' }} run: cargo install -f rustup-toolchain-install-master - - name: Install "master" toolchain + - name: Install miri toolchain run: | if [[ ${{ github.event_name }} == 'schedule' ]]; then echo "Building against latest rustc git version" @@ -65,13 +71,13 @@ jobs: fi ./miri toolchain --host ${{ matrix.host_target }} - - name: Show Rust version + - name: Show Rust version (miri toolchain) run: | rustup show rustc -Vv cargo -V - - name: Test + - name: Test Miri run: ./ci/ci.sh style: |