CI: run on pull requests as well, not just pushes.
authorwhitequark <whitequark@whitequark.org>
Tue, 14 Jul 2020 00:25:11 +0000 (00:25 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 31 Dec 2021 14:53:18 +0000 (14:53 +0000)
.github/workflows/main.yaml

index c86c68400b6ed8d6856d6ff787795c4beaf023d3..1a2e5ff285457612ac7d79f7da4415991984b2cb 100644 (file)
@@ -1,4 +1,7 @@
-on: push
+on:
+  push: {}
+  pull_request:
+    types: [opened, reopened, synchronize]
 name: CI
 jobs:
   document: