From 6ff30563590d56ec8ea81b61f96db5b815fdc481 Mon Sep 17 00:00:00 2001
From: ThoreOlthoff <thore.olthoff@iwr.uni-heidelberg.de>
Date: Wed, 31 Jul 2024 10:40:20 +0200
Subject: [PATCH] Change in ci.yml

---
 .github/workflows/ci.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c1d4a30..30d1394 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,11 +2,7 @@
 name: CI
 
 on:
-  # Triggers the workflow on push or pull request events but only for the main branch
-  push:
-    branches: [ main ]
-  pull_request:
-    branches: [ main ]
+  [push]
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: