diff options
| author | flip1995 <hello@philkrones.com> | 2020-12-06 15:01:03 +0100 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2020-12-06 15:01:03 +0100 |
| commit | 8eca423ea13bb0612df4b8f2c20c5228f54d0c2d (patch) | |
| tree | 0ce57b739761262392615e9c868cf8bbe25d1153 /.github | |
| parent | 3be53bc45ae6e8786c9fe1e6d776fc4ec4c6af7b (diff) | |
Merge commit 'c1664c50b27a51f7a78c93ba65558e7c33eabee6' into clippyup
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/clippy_bors.yml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/.github/workflows/clippy_bors.yml b/.github/workflows/clippy_bors.yml index 7509d90c6c2..784463fe0df 100644 --- a/.github/workflows/clippy_bors.yml +++ b/.github/workflows/clippy_bors.yml @@ -128,14 +128,14 @@ jobs: SYSROOT=$(rustc --print sysroot) echo "$SYSROOT/bin" >> $GITHUB_PATH - - name: Build - run: cargo build --features deny-warnings + - name: Build with internal lints + run: cargo build --features deny-warnings,internal-lints - - name: Test - run: cargo test --features deny-warnings + - name: Test with internal lints + run: cargo test --features deny-warnings,internal-lints - - name: Test clippy_lints - run: cargo test --features deny-warnings + - name: Test clippy_lints with internal lints + run: cargo test --features deny-warnings,internal-lints working-directory: clippy_lints - name: Test rustc_tools_util |