Skip to content

Release Checklist

Jump to bottom
Francis Mendoza edited this page Jul 15, 2026 · 5 revisions

When creating a new release, the following should be done:

  • Check that all crates have had their version bumped (the versions of all crates should match, we are not versioning crates individually).
  • Make sure the docs build cleanly ($ cargo doc --all).
  • PERFORM THE MERGE: merge the release/* branch to main. (on the command-line to the private git server, not in github)
  • Create a Release + Tag in github. Place the release changelog into the Release description.
  • Optionally, create a blog post for the release in the github wiki.
  • Confirm that linting, formatting, building are valid, and that Github CI actions pass.

Clone this wiki locally