From 655c6b1e3770976fdb53e0aeb2520de4d50c5498 Mon Sep 17 00:00:00 2001
From: Jan Romann <jan.romann@uni-bremen.de>
Date: Sat, 4 Jun 2022 01:07:37 +0200
Subject: [PATCH] [REMOVE ME]: add CI runs for PRs

---
 .github/workflows/ci-linux.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci-linux.yml b/.github/workflows/ci-linux.yml
index f97d23c9..65e5cd7b 100644
--- a/.github/workflows/ci-linux.yml
+++ b/.github/workflows/ci-linux.yml
@@ -3,6 +3,8 @@ name: CI
 on:
   push:
     branches: [master]
+  pull_request:
+    branches: [master]
 
 jobs:
   build: