CI: run on pull requests as well, not just pushes.

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index c86c68400b6ed8d6856d6ff787795c4beaf023d3..1a2e5ff285457612ac7d79f7da4415991984b2cb 100644 (file)
--- 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: