ci: restrict push trigger to main — eliminate duplicate CI runs #565

Merged
marcel merged 1 commits from ci/deduplicate-push-trigger into main 2026-05-14 11:12:25 +02:00

View File

@@ -2,6 +2,7 @@ name: CI
on:
push:
branches: [main]
pull_request:
jobs: