From dd70d0d5e0e1ea42272a884f0a3c1be0c6440dba Mon Sep 17 00:00:00 2001
From: Kai Lueke <kailuke@microsoft.com>
Date: Tue, 28 Jun 2022 11:19:13 +0200
Subject: [PATCH] .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.
---
 .github/workflows/ci.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 0e02f5620b..43666ccd98 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -1,6 +1,5 @@
 name: "Run build"
 on:
-  push:
   pull_request:
   workflow_dispatch:
     inputs: