.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 32b0995a32
commit 9f90d5d8a4

View File

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