Merge pull request #3164 from epage/lint

chore(ci): Lint release builds
This commit is contained in:
Pavan Kumar Sunkara 2021-12-13 15:39:16 +00:00 committed by GitHub
commit ac751c2721
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions

View file

@ -181,3 +181,5 @@ jobs:
run: make clippy-minimal
- name: Lint (all)
run: make clippy-full
- name: Lint (release)
run: make clippy-release

View file

@ -106,3 +106,5 @@ jobs:
run: make clippy-minimal
- name: Lint All
run: make clippy-full
- name: Lint (release)
run: make clippy-release