From 769e39fc69d010a551accf5ec5746754c0d32a8d Mon Sep 17 00:00:00 2001
From: Derek Christ <derek.christ@uni-wuerzburg.de>
Date: Wed, 3 Dec 2025 15:21:15 +0100
Subject: [PATCH] ci: run pipeline only on merge request events

---
 .gitlab-ci.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 70e2d862..32ace809 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,12 @@
 # vim: set ts=4 sw=4 expandtab:
 image: ubuntu-dramsys
 
+workflow:
+  rules:
+    - if: '$CI_PIPELINE_SOURCE == "merge_request_event"'
+      when: always
+    - when: never
+
 stages:
     - build
     - test