Skip to content

Develop#106

Merged
bartzbeielstein merged 3 commits into
mainfrom
develop
Jun 14, 2026
Merged

Develop#106
bartzbeielstein merged 3 commits into
mainfrom
develop

Conversation

@bartzbeielstein

Copy link
Copy Markdown
Contributor

No description provided.

…ss required checks

The back-merge job tagged its "sync main into develop" commit with a CI-skip
marker. No workflow runs on pushes to develop, so the marker skipped nothing
there — but it rode along on the merge commit, and when develop was opened as
a PR to main that commit became the PR head. GitHub Actions then skipped the
pull_request CI run entirely, so the required "Tests (fast)" and "Lint" checks
never reported and the develop->main PR (#106) was stuck BLOCKED with no way
to satisfy the protect-main ruleset.

Drop the marker from the commit message. ci() type → no semantic release.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@bartzbeielstein bartzbeielstein merged commit 3e38a8a into main Jun 14, 2026
6 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