Skip to content

PUBLISHING.md

Latest commit

 

History

History
9 lines (8 loc) · 382 Bytes

PUBLISHING.md

File metadata and controls

9 lines (8 loc) · 382 Bytes
Raw

Release Management

  1. Update version in Cargo.toml and set all dependencies to that version. Always start with a prerelease version -pre.A before doing a full release.
  2. Tag the version git tag vX.Y.Z and git push origin vX.Y.Z.
  3. Release crates
    1. libcrux-platform in sys/platform
    2. libcrux-hacl in sys/hacl
    3. libjade-sys in sys/libjade
    4. libcrux