From 4da1d9df4ed14909574a69c70d7d0dd3d228e529 Mon Sep 17 00:00:00 2001
From: Athanasius <github@miggy.org>
Date: Tue, 28 Jul 2020 13:45:55 +0100
Subject: [PATCH] Change the push-checks back into also PRs.

Renamed to suit.
---
 .github/workflows/{push-checks.yml => push-and-pr-checks.yml} | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
 rename .github/workflows/{push-checks.yml => push-and-pr-checks.yml} (95%)

diff --git a/.github/workflows/push-checks.yml b/.github/workflows/push-and-pr-checks.yml
similarity index 95%
rename from .github/workflows/push-checks.yml
rename to .github/workflows/push-and-pr-checks.yml
index ba8367c7..dc5ec619 100644
--- a/.github/workflows/push-checks.yml
+++ b/.github/workflows/push-and-pr-checks.yml
@@ -5,11 +5,13 @@
 #
 # For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions
 
-name: Push-Checks
+name: Push and PR Checks
 
 on:
   push:
     branches: [ develop ]
+  pull_request:
+    branches: [ develop ]
 
 jobs:
   build: