ci: Enable workflows on all branches

hazelgrove · Jun 1, 2023 · 0ca2330 · 0ca2330
1 parent 4957b95
commit 0ca2330
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/.github/workflows/agda.yaml b/.github/workflows/agda.yaml
@@ -2,7 +2,6 @@
 name: agda
 on:
   push:
-    branches: [master]
     paths: ['**.agda']
 jobs:
   check:

diff --git a/.github/workflows/formalism.yaml b/.github/workflows/formalism.yaml
@@ -2,7 +2,6 @@
 name: formalism
 on:
   push:
-    branches: [master]
     paths: [formalism/*]
 jobs:
   formalism: