user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge commit '83e42a2337' into clippyup

Browse source
This commit is contained in:
Philipp Krones 2023-04-11 15:31:08 +02:00
commit 0ca8ae5edd
No known key found for this signature in database
GPG key ID: 1CA0DF2AF59D68A5
145 changed files with 4737 additions and 1704 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/clippy/.github/workflows/clippy_bors.yml vendored
View file

@ -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

2
src/tools/clippy/.github/workflows/remark.yml vendored
View file

@ -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