CI: only run build once for PRs

leanprover-community · Oct 1, 2024 · 6a64ce3 · 6a64ce3
1 parent 89c70c6
commit 6a64ce3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,7 +1,6 @@
 name: Build
 
 on:
-  pull_request:
   push:
   merge_group: