#2696: any branch

objectionary · Dec 11, 2023 · d661607 · d661607
1 parent 90f0b05
commit d661607
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/ebnf.yml b/.github/workflows/ebnf.yml
@@ -2,8 +2,6 @@
 name: ebnf
 on:
   push:
-    branches:
-      - master
     paths-ignore: ['paper/**', 'sandbox/**']
 concurrency:
   group: ebnf-${{ github.ref }}