Skip to content

ci(v37-dev): add v37-dev to push allowlists so merged tip gets the build matrix - #1099

Merged
frstrtr merged 1 commit into
v37-devfrom
ci-steward/v37-dev-push-matrix
Aug 5, 2026
Merged

ci(v37-dev): add v37-dev to push allowlists so merged tip gets the build matrix#1099
frstrtr merged 1 commit into
v37-devfrom
ci-steward/v37-dev-push-matrix

Conversation

@frstrtr

@frstrtr frstrtr commented Aug 4, 2026

Copy link
Copy Markdown
Owner

pull_request allowlists (#1070) render the matrix on v37-dev PRs, but the push: branch lists in build.yml + coin-matrix.yml still omit v37-dev. The #1068 and #1070 merges therefore validated only CodeQL on the post-merge tip -- no build/coin-matrix run confirmed the merged v37-dev state. This closes that post-merge validation gap. Held at merge gate for operator push-approval.

…ild matrix

pull_request allowlists (added in #1070) render the matrix on v37-dev PRs,
but the push: branch lists omitted v37-dev. Merges into v37-dev (#1068, #1070)
therefore ran only CodeQL on the post-merge tip -- no build/coin-matrix run
validated the actual merged state, reintroducing the hollow-green-after-merge
gap the PR-time matrix was meant to close. Add v37-dev to build.yml and
coin-matrix.yml push branches.
@frstrtr
frstrtr merged commit e439ad6 into v37-dev Aug 5, 2026
21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant