mirror of
https://github.com/servo/servo.git
synced 2025-08-07 06:25:32 +01:00
add the script on lint workflow and store it on artifact
Signed-off-by: Jerens Lensun <jerensslensun@gmail.com>
This commit is contained in:
parent
fec385ec99
commit
2fca8d9a46
1 changed files with 16 additions and 1 deletions
17
.github/workflows/lint.yml
vendored
17
.github/workflows/lint.yml
vendored
|
@ -44,8 +44,23 @@ jobs:
|
|||
sudo apt update
|
||||
./mach bootstrap
|
||||
# TODO: Do GitHub anotaions
|
||||
- name: Give permission to script
|
||||
run: |
|
||||
chmod +x ./etc/ci/clippy-annotation.sh
|
||||
- name: Clippy
|
||||
run: |
|
||||
./mach clippy --use-crown --locked -- -- --deny warnings
|
||||
./mach clippy --message-format=json --use-crown --locked -- -- --deny warnings | ./etc/ci/clippy-annotation.sh > temp/clippy-output.json
|
||||
- name: Save PR number
|
||||
run: |
|
||||
mkdir -p ./pr
|
||||
echo ${{ github.event.number }} > ./pr/number
|
||||
- name: Clippy linter result
|
||||
uses: actions/upload-artifact@v4.6.1
|
||||
with:
|
||||
name: clippy-lint-result
|
||||
path: |
|
||||
temp/clippy-output.json
|
||||
pr/number
|
||||
retention-days: 14
|
||||
- name: Tidy
|
||||
run: ./mach test-tidy --no-progress --all
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue