From 81b0fab68a7e225f59a71bfa43b297e06c686797 Mon Sep 17 00:00:00 2001
From: Phillip Johnsen <johphi@gmail.com>
Date: Fri, 13 Sep 2019 13:08:48 +0200
Subject: [PATCH] Run GitHub Actions tests on PRs as well

When initially creating the GitHub Actions
workflow, it was obviously forgotten to make
it also run on pull requests, not only when
changes are pushed to branches in the
original repository (not a fork).
---
 .github/workflows/verify.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
index 1bb2ab974..4d7d333a1 100644
--- a/.github/workflows/verify.yml
+++ b/.github/workflows/verify.yml
@@ -1,6 +1,6 @@
 name: Verify changes
 
-on: [push]
+on: [push, pull_request]
 
 jobs:       
   build: