.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 0aaf36555f
commit 37253cd499

View File

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