ci: drop redundant push-to-main trigger

PR already runs test+lint+vulncheck on the same commit. Running identical jobs again on merge wastes ~10min of runner.
2026-06-04 13:29:40 -04:00
parent 9e15b369d3
commit 50ee878097
1 changed files with 0 additions and 2 deletions
@@ -1,8 +1,6 @@
 name: CI
 on:
  push:
    branches: [main]
  pull_request:
 env: