Skip to content

fix(ci): release through protected main - #129

Merged
hadrien merged 1 commit into
mainfrom
fix/release-protected-main
Aug 2, 2026
Merged

fix(ci): release through protected main#129
hadrien merged 1 commit into
mainfrom
fix/release-protected-main

Conversation

@hadrien

@hadrien hadrien commented Aug 2, 2026

Copy link
Copy Markdown
Owner

Problem\n\n- Release commits cannot reach protected main before their required checks exist.\n- The existing PAT is not an administrator bypass actor.\n\n# Solution\n\n- Generate each release commit and tag locally.\n- Run existing CI on a temporary branch for the exact release SHA.\n- Promote the green commit and tag atomically.\n- Publish GitHub release notes and PyPI artifacts from the tag event.\n- Keep the main ruleset and required checks unchanged.\n\nfs-3z4

@hadrien
hadrien merged commit 96766c7 into main Aug 2, 2026
5 checks passed
@hadrien
hadrien deleted the fix/release-protected-main branch August 2, 2026 13:53
@codecov

codecov Bot commented Aug 2, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.74%. Comparing base (fb282e0) to head (77fd863).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #129   +/-   ##
=======================================
  Coverage   97.74%   97.74%           
=======================================
  Files           1        1           
  Lines         133      133           
  Branches        7        7           
=======================================
  Hits          130      130           
  Misses          3        3           
Flag Coverage Δ
fastapi-post121 97.74% <ø> (ø)
fastapi-pre121 97.74% <ø> (ø)
sqlmodel 97.74% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

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