From e4857d37825f7fcacd5c0ba9f71593d508837533 Mon Sep 17 00:00:00 2001
From: martin <lmapii@gmail.com>
Date: Sun, 3 Dec 2023 15:07:20 +0100
Subject: [PATCH] added pull_request as CI trigger

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index be5fba3..5dacc95 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,8 +1,7 @@
 
 name: ci
 on:
-  # FIXME: if you want this to be available for PRs, uncomment this line
-  # pull_request:
+  pull_request:
   push:
     branches:
     - main