Merge branch 'main' into lgtm_filters

This commit is contained in:
Robert Brignull 2020-07-09 10:30:20 +01:00
commit d781c667b1
2 changed files with 3 additions and 1 deletions

View file

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

View file

@ -7,6 +7,7 @@ on:
# curl -H "Authorization: Bearer <token>" -X POST https://api.github.com/repos/github/codeql-action/dispatches -d '{"event_type":"update-release-branch"}'
# Replace <token> with a personal access token from this page: https://github.com/settings/tokens
types: [update-release-branch]
workflow_dispatch:
jobs:
update: