mirror of
https://github.com/servo/servo.git
synced 2025-08-10 07:55:33 +01:00
make temp folder on ci lint actions
Signed-off-by: Jerens Lensun <jerensslensun@gmail.com>
This commit is contained in:
parent
033651f263
commit
5ea329855d
1 changed files with 6 additions and 5 deletions
9
.github/workflows/lint.yml
vendored
9
.github/workflows/lint.yml
vendored
|
@ -47,14 +47,15 @@ jobs:
|
||||||
- name: Give permission to script
|
- name: Give permission to script
|
||||||
run: |
|
run: |
|
||||||
chmod +x ./etc/ci/clippy-annotation.sh
|
chmod +x ./etc/ci/clippy-annotation.sh
|
||||||
- name: Clippy
|
- name: Save PR number & Create temp directory
|
||||||
run: |
|
|
||||||
./mach clippy --message-format=json --use-crown --locked -- -- --deny warnings | ./etc/ci/clippy-annotation.sh > temp/clippy-output.json
|
|
||||||
- name: Save PR number
|
|
||||||
if: ${{ !cancelled() }}
|
if: ${{ !cancelled() }}
|
||||||
run: |
|
run: |
|
||||||
mkdir -p ./pr
|
mkdir -p ./pr
|
||||||
|
mkdir -p ./temp
|
||||||
echo ${{ github.event.number }} > ./pr/number
|
echo ${{ github.event.number }} > ./pr/number
|
||||||
|
- name: Clippy
|
||||||
|
run: |
|
||||||
|
./mach clippy --message-format=json --use-crown --locked -- -- --deny warnings | ./etc/ci/clippy-annotation.sh > temp/clippy-output.json
|
||||||
- name: Clippy linter result
|
- name: Clippy linter result
|
||||||
if: ${{ !cancelled() }}
|
if: ${{ !cancelled() }}
|
||||||
uses: actions/upload-artifact@v4.6.1
|
uses: actions/upload-artifact@v4.6.1
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue