ci: runners trigger on push (#1549)

* ci: runners trigger on push

* ci: comments

* ci: comments
This commit is contained in:
Callum Tait 2022-06-18 09:34:40 +01:00 committed by GitHub
parent 510fc9c834
commit de693c4191
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 1 deletions

View File

@ -6,7 +6,6 @@ on:
- opened
- synchronize
- reopened
- closed
branches:
- 'master'
paths:
@ -14,6 +13,11 @@ on:
- '!runner/Makefile'
- '.github/workflows/runners.yaml'
- '!**.md'
# We must do a trigger on a push: instead of a types: closed so GitHub Secrets
# are available to the workflow run
push:
branches:
- 'master'
env:
RUNNER_VERSION: 2.293.0