chore(tools): run CI on pushes to the master branch

pull/953/head
Jan van Brügge 4 years ago
parent f3a088596e
commit e537a94ba3
No known key found for this signature in database
GPG Key ID: 88E0BF7B7A546481

@ -4,7 +4,7 @@ on:
pull_request:
push:
branches:
- main
- master
jobs:
ci:

Loading…
Cancel
Save