mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
In lint ci remove -D warnings flags
Signed-off-by: Jerens Lensun <jerensslensun@gmail.com>
This commit is contained in:
parent
f0920d975f
commit
93b6d7c8d8
1 changed files with 1 additions and 1 deletions
2
.github/workflows/lint.yml
vendored
2
.github/workflows/lint.yml
vendored
|
@ -55,7 +55,7 @@ jobs:
|
||||||
echo ${{ github.event.pull_request.head.sha }} > ./pr/head_sha
|
echo ${{ github.event.pull_request.head.sha }} > ./pr/head_sha
|
||||||
- name: Run Clippy Lint
|
- name: Run Clippy Lint
|
||||||
run: |
|
run: |
|
||||||
./mach clippy --message-format=json --use-crown --locked -- -- --deny warnings | ./etc/ci/clippy-annotation.sh > temp/clippy-output.json
|
./mach clippy --message-format=json --use-crown --locked | ./etc/ci/clippy-annotation.sh > temp/clippy-output.json
|
||||||
- name: Clippy Linter Result Upload
|
- name: Clippy Linter Result Upload
|
||||||
if: ${{ !cancelled() }}
|
if: ${{ !cancelled() }}
|
||||||
uses: actions/upload-artifact@v4
|
uses: actions/upload-artifact@v4
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue