diff options
| author | Philipp Krones <hello@philkrones.com> | 2024-05-21 10:39:30 -0700 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2024-05-21 10:39:30 -0700 |
| commit | bb1481a72af660fc2cee968e83e8e5808b4826ce (patch) | |
| tree | 04bbb0e2f1d65ad0a8d62381f043bbb788d00dec /src/tools/clippy/.github/workflows | |
| parent | 6715446db6564901c2674950b7fce5b487f2d13f (diff) | |
| parent | 2efebd2f0c03dabbe5c3ad7b4ebfbd99238d1fb2 (diff) | |
Merge commit '2efebd2f0c03dabbe5c3ad7b4ebfbd99238d1fb2' into clippy-subtree-update
Diffstat (limited to 'src/tools/clippy/.github/workflows')
| -rw-r--r-- | src/tools/clippy/.github/workflows/clippy.yml | 6 | ||||
| -rw-r--r-- | src/tools/clippy/.github/workflows/clippy_bors.yml | 4 |
2 files changed, 4 insertions, 6 deletions
diff --git a/src/tools/clippy/.github/workflows/clippy.yml b/src/tools/clippy/.github/workflows/clippy.yml index 8179e3e65b5..06bf3b6fdbf 100644 --- a/src/tools/clippy/.github/workflows/clippy.yml +++ b/src/tools/clippy/.github/workflows/clippy.yml @@ -69,6 +69,6 @@ jobs: working-directory: clippy_dev - name: Test clippy-driver - run: | - TOOLCHAIN=$(rustup show active-toolchain | cut -f1 -d' ') - rustup run $TOOLCHAIN bash .github/driver.sh + run: .github/driver.sh + env: + OS: ${{ runner.os }} diff --git a/src/tools/clippy/.github/workflows/clippy_bors.yml b/src/tools/clippy/.github/workflows/clippy_bors.yml index 94515987eba..1f4bec92918 100644 --- a/src/tools/clippy/.github/workflows/clippy_bors.yml +++ b/src/tools/clippy/.github/workflows/clippy_bors.yml @@ -116,9 +116,7 @@ jobs: working-directory: clippy_dev - name: Test clippy-driver - run: | - TOOLCHAIN=$(rustup show active-toolchain | cut -f1 -d' ') - rustup run $TOOLCHAIN bash .github/driver.sh + run: .github/driver.sh env: OS: ${{ runner.os }} |