Skip to content

chore: port release fixes and start beta.2 development - #217

Open
mveril wants to merge 14 commits into
developfrom
chore/start-beta-2-development
Open

mveril wants to merge 14 commits into
developfrom
chore/start-beta-2-development

Conversation

@mveril

@mveril mveril commented Nov 12, 2026

Copy link
Copy Markdown
Owner

Port the two release-only changes from main onto develop and resume development at 0.1.0-beta.2.dev. This replaces #216 with three focused commits, avoiding the nine patch-equivalent commits from main's separate history.

  • Cherry-pick Prepare release v0.1.0-beta.1 and Harden release metadata and archive checks.
  • Set both crate versions, the internal dependency, Cargo.lock, and citation metadata to 0.1.0-beta.2.dev; regenerate license notices.

The final tree is byte-for-byte identical to #216. This aligns content with main without merging its divergent history. No history was rewritten or force-pushed. Main, the release tag, and existing release artifacts are unchanged. No publication workflow was dispatched. The crates.io fix remains separate in #215.

Validation: 55 targeted release tests and 13 subtests passed; distribution notice checks and git diff --check passed. The previous book build passed for the identical tree. Cargo metadata confirmed synchronized versions, and release validation rejects this development version.

Documentation impact: retain the existing released manual changes from main. No additional manual changes are needed for the documented .dev convention.

Leave this PR unmerged for maintainer review.

@mveril
mveril force-pushed the chore/start-beta-2-development branch from 828c2e6 to 1686c35 Compare November 12, 2026 18:50

This branch has not been deployed

No deployments
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