From 890dd24f76b62358f44f4f11f9df3727bd7eb3c3 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Sun, 19 Jan 2020 19:36:53 +0100
Subject: [PATCH] Also run CI workflow on pull requests

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 99d1262..a0bb979 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,4 +1,4 @@
-on: push
+on: [pull_request, push]
 jobs:
   test:
     strategy: