From cd46a4263470e3073d6840a18a1730d6c0896586 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= <francois@garillot.net>
Date: Fri, 12 Jun 2020 18:49:32 -0400
Subject: [PATCH] Have CI run more often

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

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 04508a3..ba8e250 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -1,5 +1,9 @@
 name: Rust CI
-on: [push]
+on:
+  push:
+  pull_request:
+    types: [opened, repoened, synchronize]
+
 jobs:
   combo:
     name: test + Clippy + rustfmt