makes tests run on pushes to master (#14)

cmss13-devs · Oct 21, 2023 · 67d386d · 67d386d
1 parent 07134a5
commit 67d386d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci_suite.yml b/.github/workflows/ci_suite.yml
@@ -4,6 +4,9 @@ on:
     branches:
     - master
   merge_group:
+  push:
+    branches:
+    - master
 jobs:
   run_linters:
     if: "!contains(github.event.head_commit.message, '[ci skip]')"