From 0c1b6cfd073743f201b0f47f2abb750f36adb670 Mon Sep 17 00:00:00 2001
From: Theodor Vararu <theo@vararu.org>
Date: Thu, 19 Dec 2019 15:02:15 +0000
Subject: [PATCH] Experiment with running GitHub actions on merge commits

From https://github.com/actions/checkout/issues/15 and https://help.github.com/en/actions/automating-your-workflow-with-github-actions/events-that-trigger-workflows.
---
 .github/workflows/tests.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 824b3cea2ca..2c1a6cf04fe 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -1,8 +1,7 @@
 name: 'Apply CI'
+
 on:
-  push:
-    branches-ignore:
-      - 'master'
+  pull_request: {}
 
 jobs:
   unit_tests: