Add build to pull requests

purescript-contrib · Sep 23, 2023 · 36a7d8a · 36a7d8a
1 parent 135a276
commit 36a7d8a
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,6 +1,10 @@
 name: CI
 
-on: push
+on:
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
 
 jobs:
   build: