From 2382275e27decd4a588089a81453e46c3e86b40e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-No=C3=ABl=20Grad?= <jgrad@icp.uni-stuttgart.de>
Date: Thu, 25 Jul 2024 12:03:11 +0200
Subject: [PATCH] Always run CI in PR

---
 .github/workflows/compile.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index a89bf00f..08084b89 100644
--- a/.github/workflows/compile.yml
+++ b/.github/workflows/compile.yml
@@ -1,5 +1,5 @@
 name: compilepaper
-on: [push]
+on: [push, pull_request]
 jobs:
   paper:
     runs-on: ubuntu-latest