From 0ac487354676b384cc675c60688165b511dab87e Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Tue, 14 Jul 2020 00:25:11 +0000
Subject: [PATCH] CI: run on pull requests as well, not just pushes.

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

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index c86c684..1a2e5ff 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -1,4 +1,7 @@
-on: push
+on:
+  push: {}
+  pull_request:
+    types: [opened, reopened, synchronize]
 name: CI
 jobs:
   document:
-- 
2.30.2