ci: run build once per change #12

Merged

lucas merged 1 commit from agent/issue-11-ci-trigger-dedup into main

2026-11-12 22:23:40 +01:00

omp-deck commented

2026-11-12 22:22:15 +01:00

Collaborator

The push trigger matched every branch (branches: ["**"]), so pushing to a pull request's head branch started the Build workflow twice: once for the push, once for the pull request.

push is now restricted to main, so branch pushes are built only through their pull request.
The branches: ["**"] filter is dropped from pull_request; it is redundant with the default, which matches any base branch.

Closes: #11

The `push` trigger matched every branch (`branches: ["**"]`), so pushing to a pull request's head branch started the Build workflow twice: once for the push, once for the pull request. - `push` is now restricted to `main`, so branch pushes are built only through their pull request. - The `branches: ["**"]` filter is dropped from `pull_request`; it is redundant with the default, which matches any base branch. Closes: #11

omp-deck added 1 commit

2026-11-12 22:22:15 +01:00

ci: run build once per change

Build / build (pull_request) Successful in 1m5s

Details

ba0c561d2a

The `push` trigger matched every branch, so a push to a pull request's
head branch started the workflow twice: once for the push, once for the
pull request. Restrict `push` to `main` so branch pushes are only built
through their pull request, and drop the `branches: ["**"]` filter from
`pull_request`, which matches every base branch by default.

Closes: #11
Co-Authored-By: Claude Opus 5 via omp-deck

lucas scheduled this pull request to auto merge when all checks succeed

2026-11-12 22:23:18 +01:00