From 949a185a72c907fbb51a3f808c44e277e3947dff Mon Sep 17 00:00:00 2001
From: Alexander Richardson <Alexander.Richardson@cl.cam.ac.uk>
Date: Fri, 25 Jun 2021 15:26:35 +0100
Subject: Also run GitHub actions for PRs

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

(limited to '.github/workflows')

diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index ca6569f..48bd305 100644
--- a/.github/workflows/compile.yml
+++ b/.github/workflows/compile.yml
@@ -1,6 +1,6 @@
 name: CI
 
-on: [push]
+on: [push, pull_request]
 
 jobs:
   build:
-- 
cgit v1.1