Build pull requests properly

swsnr · Apr 30, 2023 · 59f56dc · 59f56dc
1 parent b177022
commit 59f56dc
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,18 @@
 name: CI
 
-on: [push]
+on:
+  push:
+    # Don't build tags; that's redundant with pushes to main normally.
+    tags-ignore: '*'
+    # Only build main, for all other branches rely on pull requests.  This
+    # avoids duplicate builds for pull requests.
+    branches: main
+    # Don't build for trivial changes
+    paths-ignore:
+      - '*.md'
+      - 'LICENSE'
+  pull_request:
+
 
 jobs:
   rustfmt: