Merge pull request #101 from github/workflow_dispatch

Add workflow_dispatch event
This commit is contained in:
Robert 2020-07-07 11:39:47 +01:00 committed by GitHub
commit cfcff89771
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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: