Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-10 16:05:43 +01:00
Code Issues Projects Releases Packages Wiki Activity

Rename 'cargo-clippy' mach command to just 'clippy' (#34481)

Browse source 
Signed-off-by: Nico Burns <nico@nicoburns.com>
This commit is contained in:
Nico Burns 2024-12-05 16:19:15 +13:00 • committed by GitHub
parent 1eedfd3cf3
commit e4ec84fad1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/lint.yml vendored
View file

@ -55,6 +55,6 @@ jobs:
# TODO: Do GitHub anotaions
- name: Clippy
run: |
python3 ./mach cargo-clippy --use-crown --locked -- -- --deny warnings
python3 ./mach clippy --use-crown --locked -- -- --deny warnings
- name: Tidy
run: python3 ./mach test-tidy --no-progress --all