From: whitequark <whitequark@whitequark.org>
Date: Tue, 14 Jul 2020 00:25:11 +0000 (+0000)
Subject: CI: run on pull requests as well, not just pushes.
X-Git-Tag: 24jan2021_ls180~15
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=127fce8f4869aa249bd7fc1995caf7f546320c3e;p=nmigen.git

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

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: