github: disable clippy check in PRs

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

View File

@ -33,6 +33,7 @@ jobs:
args: -- --check
- name: Annotate commit with clippy warnings
if: "${{ github.event_name == 'push' }}"
uses: actions-rs/clippy-check@b5b5f21f4797c02da247df37026fcd0a5024aa4d
with:
token: ${{ secrets.GITHUB_TOKEN }}