Adding push trigger

oppia · Aug 15, 2024 · 65345ee · 65345ee
1 parent a11422f
commit 65345ee
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/code_coverage.yml b/.github/workflows/code_coverage.yml
@@ -6,8 +6,9 @@ name: Code Coverage
 # events or push events in the develop branch.
 on:
   pull_request_target:
-    branches:
-      - develop
+    push:
+      branches:
+        - develop
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}