From b73f908d9037eefa2e11bce6d14791376c49c280 Mon Sep 17 00:00:00 2001
From: Alexander Goscinski <alexander.goscinski@posteo.de>
Date: Thu, 21 Nov 2024 16:34:25 +0100
Subject: [PATCH] Remove pull request event from fireing CI

When opening a new PR the CI is run twice, once because the PR event is
fired and once because the push even is raised. The push event is
enough.
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 490a9c7..a2e8b5b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 name: ci
 
-on: [push, pull_request]
+on: [push]
 
 jobs: