.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 ef040ae67d
commit 84bd950d4e

View File

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