Re-add push check on develop

Mirio · Oct 8, 2023 · 2b1437b · 2b1437b
1 parent a8c3da8
commit 2b1437b
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -8,12 +8,15 @@ env:
   IMAGE_NAME: ${{ github.repository }}
 
 on:
+  push:
+    branches: ['develop']
+
   pull_request:
     branches: ['main', 'develop']
     paths-ignore: ['docs/**']
 
   release:
-    types: [published]
+    types: ['published']
 
 concurrency:
   group: ${{ github.head_ref || github.run_id }}

diff --git a/.github/workflows/codecov-action.yml b/.github/workflows/codecov-action.yml
@@ -9,6 +9,8 @@ on:
   pull_request:
     # The branches below must be a subset of the branches above
     branches: [ "main", "develop", "release/*"]
+  push:
+    branches: ["develop"]
 
 concurrency:
   group: ${{ github.head_ref || github.run_id }}

diff --git a/.github/workflows/codeql-action.yml b/.github/workflows/codeql-action.yml
@@ -15,6 +15,8 @@ on:
   pull_request:
     # The branches below must be a subset of the branches above
     branches: [ "main", "develop", "release/*"]
+  push:
+    branches: ["develop"]
   schedule:
     - cron: '15 8 * * 2'