projects / nmigen.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ca440bb)
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 patch | blob | history

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: