GitHub Actions: avoid double runs from on: [push, pull_request]

GitHub Actions: avoid double runs from on: [push, pull_request]

Articles

Using separate rules for GitHub actions events prevents redundant CI runs when both push and pull_request triggers fire, reducing costs, delays, and flaky failures.