CI: (REMOVE) run on push

tweag · Nov 10, 2023 · b6ca2c9 · b6ca2c9
1 parent dc043f4
commit b6ca2c9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/workflow.yaml b/.github/workflows/workflow.yaml
@@ -1,7 +1,6 @@
 name: Continuous integration
 on:
   push:
-    branches: master
   pull_request:
     branches: master
   workflow_dispatch: # allows manual triggering