Only trigger CI push runs on master to avoid duplicate builds
All checks were successful
CI / ci (pull_request) Successful in 10m41s

Pushing to a branch with an open PR fired both the push and
pull_request triggers for the same commit. pull_request already
covers feature-branch commits, so push only needs to cover master.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
This commit is contained in:
Austin Schaefer 2026-07-29 12:29:11 +02:00
parent 4e65ef3843
commit 1cda8b6f50

View file

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