From 37253cd499d6d70a920e60df2f51fbebf238e606 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 fa054e1844..a850d05d78 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: