From 35dada683a32538536c8af3f2bf13766b502f1c9 Mon Sep 17 00:00:00 2001
From: Girts <girtsf@users.noreply.github.com>
Date: Sun, 15 Mar 2020 17:42:48 -0700
Subject: [PATCH] run CI on pull requests as well

---
 .github/workflows/main.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 54530c2d8..43cfd4fde 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -1,5 +1,7 @@
 name: Continuous Integration
-on: push
+on:
+  - push
+  - pull_request
 
 jobs:
   main: