ci: remove push trigger from CI workflow

johelder · johelder · commit f1c3995af261 · 2025-06-15T21:10:00.000-03:00
- remove push trigger for main and dev branches
- keep pull request trigger for main branch
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,9 +1,5 @@
 name: CI
 on:
-  push:
-    branches:
-      - main
-      - dev
   pull_request:
     branches:
       - main
