on push

tweag · Sep 25, 2024 · 11ae2a3 · 11ae2a3
1 parent 37045ee
commit 11ae2a3
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