Skip to content

Merge pull request #82 from flext-sh/0.12.0-dev - #88

Closed
marlon-costa-dc wants to merge 1 commit into
0.12.0-devfrom
main
Closed

Merge pull request #82 from flext-sh/0.12.0-dev#88
marlon-costa-dc wants to merge 1 commit into
0.12.0-devfrom
main

Conversation

@marlon-costa-dc

@marlon-costa-dc marlon-costa-dc commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

chore(ci): promote staged validation hooks


Summary by cubic

Promoted staged validation hooks to the CI pipeline so the same checks that run locally also run on PRs and main. This keeps validation consistent across environments and blocks merges when checks fail.

Written for commit 6abf0bb. Summary will update on new commits.

Review in cubic

chore(ci): promote staged validation hooks
@gemini-code-assist

Copy link
Copy Markdown

Caution

The consumer version of Gemini Code Assist on GitHub has been sunset. All code review activity has officially ceased.

@marlon-costa-dc

Copy link
Copy Markdown
Contributor Author

Closing: back-merge with zero content.

git diff --name-only origin/0.12.0-dev...origin/main | wc -l  ->  0
git rev-list --count origin/0.12.0-dev..origin/main           ->  1   (a merge commit)
git rev-list --count origin/main..origin/0.12.0-dev           ->  23

The single commit main carries is the merge of #82, which itself came from 0.12.0-dev — so there is nothing to merge back. GitHub reports changedFiles: 0.

0.12.0-dev is 23 commits ahead and remains the active integration line. No action needed.

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