From 6c9a4cd3924ba8e96c496138812d3c77986a6d3d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20D=C3=BCsterhus?= <tim@bastelstu.be>
Date: Wed, 8 May 2024 20:20:18 +0200
Subject: [PATCH] Re-enable CI for Pull Requests

This got removed in b9736bafab32b390fa3eb36e22f7f7e75aecd767, but having CI for
PRs is probably useful.
---
 .github/workflows/ci.yml    | 2 +-
 .github/workflows/psalm.yml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d122c13..ddaa4c3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 name: CI
 
-on: [push]
+on: [push, pull_request]
 
 jobs:
   moderate-modern:
diff --git a/.github/workflows/psalm.yml b/.github/workflows/psalm.yml
index 8757d7f..92f3e9e 100644
--- a/.github/workflows/psalm.yml
+++ b/.github/workflows/psalm.yml
@@ -1,6 +1,6 @@
 name: Psalm
 
-on: [push]
+on: [push, pull_request]
 
 jobs:
   psalm: