.github: Run CI workflow only for PR events

Building for the branch push event causes two builds per PR and is not
needed anyway (we have nightly builds for the main branch).
Only consider PR events to trigger the CI build.
This commit is contained in:
Kai Lueke 2022-06-28 11:19:13 +02:00
parent b08e1771fd
commit dd70d0d5e0

View File

@ -1,6 +1,5 @@
name: "Run build"
on:
push:
pull_request:
workflow_dispatch:
inputs: