ci: only trigger on PRs into main

Drop the push-to-main trigger; main is fast-forward only via PR, so the post-merge run was redundant.
2026-05-03 11:25:13 +01:00
parent c019633b77
commit 84914fd6c5
1 changed files with 0 additions and 2 deletions
@@ -1,8 +1,6 @@
 name: CI
 on:
  push:
    branches: [main]
  pull_request:
    branches: [main]