tools: github actions: don't trigger duplicate workflows on pull requests

This commit is contained in:
nodiscc 2023-01-24 17:17:25 +01:00
parent 28005c507e
commit b3f0ff5070
No known key found for this signature in database
GPG key ID: 067FC4266A4B6909

View file

@ -1,5 +1,6 @@
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
workflow_dispatch: