Merge pull request #102 from github/exclude-lib

Exclude lib directory from analysis
This commit is contained in:
Robert 2020-07-08 10:32:12 +01:00 committed by GitHub
commit 56e74b9096
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -10,4 +10,5 @@ queries:
- uses: security-extended
- uses: security-and-quality
paths-ignore:
- tests
- tests
- lib