mirror of
https://github.com/servo/servo.git
synced 2025-08-10 07:55:33 +01:00
make the lint workflow upload artifact run when fail
Signed-off-by: Jerens Lensun <jerensslensun@gmail.com>
This commit is contained in:
parent
2fca8d9a46
commit
033651f263
1 changed files with 2 additions and 0 deletions
2
.github/workflows/lint.yml
vendored
2
.github/workflows/lint.yml
vendored
|
@ -51,10 +51,12 @@ jobs:
|
||||||
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 -- -- --deny warnings | ./etc/ci/clippy-annotation.sh > temp/clippy-output.json
|
||||||
- name: Save PR number
|
- name: Save PR number
|
||||||
|
if: ${{ !cancelled() }}
|
||||||
run: |
|
run: |
|
||||||
mkdir -p ./pr
|
mkdir -p ./pr
|
||||||
echo ${{ github.event.number }} > ./pr/number
|
echo ${{ github.event.number }} > ./pr/number
|
||||||
- name: Clippy linter result
|
- name: Clippy linter result
|
||||||
|
if: ${{ !cancelled() }}
|
||||||
uses: actions/upload-artifact@v4.6.1
|
uses: actions/upload-artifact@v4.6.1
|
||||||
with:
|
with:
|
||||||
name: clippy-lint-result
|
name: clippy-lint-result
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue