From b6e46b531c64830b67521a321aa5af630349c06f Mon Sep 17 00:00:00 2001
From: Mattias Wadman <mattias.wadman@gmail.com>
Date: Fri, 6 Dec 2019 16:08:32 +0100
Subject: [PATCH] Build on pull_request also

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

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index f9675bc..d4ca53f 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -1,6 +1,6 @@
 name: Build on push and PRs
 
-on: [push]
+on: [push,pull_request]
 
 jobs:
   build: