Skip to content

chore: back-propagate main merge history to develop (post-1.4.0 release) - #415

Merged
randlee merged 3 commits into
developfrom
main
Aug 12, 2026
Merged

randlee merged 3 commits into
developfrom
main

Conversation

@randlee

@randlee randlee commented Aug 12, 2026

Copy link
Copy Markdown
Owner

Back-propagates the develop→main merge commits from PRs #410, #412, #414 into develop's history after the v1.4.0 release.

Tree content is identical between main and develop (c877408...) — this carries no file changes, only merge-commit history so develop's ancestry matches main's. Confirmed as a clean fast-forward (develop is a strict ancestor of main, no divergence).

fix(ci): install Python before lint toolchain in release-preflight
release-prep: patch sc-sha for release preflight package checks
@randlee
randlee merged commit 879e04e into develop Aug 12, 2026
54 of 55 checks passed

This branch was successfully deployed

3 active deployments
pypi — 6a8af1ff Deployed Aug 12, 2026 by randlee via publish-pypi #14
crates-io — 6a8af1ff Deployed Aug 12, 2026 by randlee via publish #14
testpypi — 6a8af1ff Deployed Aug 12, 2026 by randlee via publish-pypi #13
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.

2 participants