chore: remove on push CI

Mergifyio · Aug 6, 2024 · f5dd6d6 · f5dd6d6
1 parent 8489d0c
commit f5dd6d6
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -5,10 +5,6 @@ on:
   pull_request:
     branches:
       - main
-  # TODO(sileht): delete me, here just for CI setup
-  push:
-    branches:
-      - main
 
 concurrency:
   # yamllint disable-line rule:line-length