Use a different name for clippy job and results
This commit is contained in:
parent
0a34d506cf
commit
130e348b0f
|
@ -161,6 +161,8 @@ jobs:
|
||||||
- name: Run clippy
|
- name: Run clippy
|
||||||
uses: actions-rs/clippy-check@v1.0.7
|
uses: actions-rs/clippy-check@v1.0.7
|
||||||
with:
|
with:
|
||||||
|
# GitHub displays the clippy job and its results as separate entries
|
||||||
|
name: ${{ jobs.clippy.name }} Results
|
||||||
token: ${{ secrets.GITHUB_TOKEN }}
|
token: ${{ secrets.GITHUB_TOKEN }}
|
||||||
args: --all-features --all-targets -- -D warnings
|
args: --all-features --all-targets -- -D warnings
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue