github: disable clippy check in PRs

This commit is contained in:
Harsh Shandilya 2021-04-14 13:48:22 +05:30
parent 27d3c8416b
commit 05fb732f98
No known key found for this signature in database
GPG key ID: 366D7BBAD1031E80

View file

@ -34,6 +34,7 @@ jobs:
args: -- --check
- name: Annotate commit with clippy warnings
if: "${{ github.event_name == 'push' }}"
uses: actions-rs/clippy-check@v1
with:
token: ${{ secrets.GITHUB_TOKEN }}
@ -53,4 +54,4 @@ jobs:
uses: actions-rs/cargo@v1
with:
command: doc
args: --no-deps
args: --no-deps