diff options
| author | Philipp Krones <hello@philkrones.com> | 2023-04-11 15:31:08 +0200 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2023-04-11 15:31:08 +0200 |
| commit | 0ca8ae5edd730d3c17b3f839dcff9aa906aa8c19 (patch) | |
| tree | d4de99e1486055040888a6096e95a87e9c44f6d0 /src/tools/clippy/.github/workflows | |
| parent | dfe024e1041d1cba1d3191024de3b7128c6734e6 (diff) | |
| parent | 83e42a2337dadac915c956d125f1d69132f36425 (diff) | |
| download | rust-0ca8ae5edd730d3c17b3f839dcff9aa906aa8c19.tar.gz rust-0ca8ae5edd730d3c17b3f839dcff9aa906aa8c19.zip | |
Merge commit '83e42a2337dadac915c956d125f1d69132f36425' into clippyup
Diffstat (limited to 'src/tools/clippy/.github/workflows')
| -rw-r--r-- | src/tools/clippy/.github/workflows/clippy_bors.yml | 2 | ||||
| -rw-r--r-- | src/tools/clippy/.github/workflows/remark.yml | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/clippy/.github/workflows/clippy_bors.yml b/src/tools/clippy/.github/workflows/clippy_bors.yml index 24e677ce8e1..93198aabdb5 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 diff --git a/src/tools/clippy/.github/workflows/remark.yml b/src/tools/clippy/.github/workflows/remark.yml index 81ef072bbb0..116058b7c75 100644 --- a/src/tools/clippy/.github/workflows/remark.yml +++ b/src/tools/clippy/.github/workflows/remark.yml @@ -29,7 +29,7 @@ jobs: - name: Install mdbook run: | mkdir mdbook - curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.18/mdbook-v0.4.18-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook + curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.28/mdbook-v0.4.28-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook echo `pwd`/mdbook >> $GITHUB_PATH # Run |