diff options
Diffstat (limited to 'src/tools/clippy/.github/workflows/clippy_bors.yml')
| -rw-r--r-- | src/tools/clippy/.github/workflows/clippy_bors.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/clippy/.github/workflows/clippy_bors.yml b/src/tools/clippy/.github/workflows/clippy_bors.yml index 24e677ce8..93198aabd 100644 --- a/src/tools/clippy/.github/workflows/clippy_bors.yml +++ b/src/tools/clippy/.github/workflows/clippy_bors.yml @@ -180,6 +180,8 @@ jobs: # Run - name: Build Integration Test + env: + CARGO_PROFILE_DEV_SPLIT_DEBUGINFO: off run: cargo test --test integration --features integration --no-run # Upload |