#2846 enable ebnf for pull requests too

objectionary · Feb 3, 2024 · 7089d7d · 7089d7d
1 parent 2900b0f
commit 7089d7d
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/ebnf.yml b/.github/workflows/ebnf.yml
@@ -3,9 +3,10 @@ name: ebnf
 on:
   push:
     paths-ignore: ['paper/**', 'sandbox/**']
-concurrency:
-  group: ebnf-${{ github.ref }}
-  cancel-in-progress: true
+  pull_request:
+    branches:
+      - master
+    paths-ignore: [ 'paper/**', 'sandbox/**' ]
 jobs:
   ebnf:
     runs-on: ubuntu-22.04