From 833aae1fe0354356f51cbf75673067c23c50868b Mon Sep 17 00:00:00 2001
From: Mattias Wadman <mattias.wadman@gmail.com>
Date: Sat, 2 Nov 2019 12:06:50 +0100
Subject: [PATCH] Add pull_request event for push

---
 .github/workflows/push.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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