Skip to content

Release

Jump to bottom Edit New page
Felipe Contreras edited this page Mar 8, 2023 · 7 revisions

Steps to make a release:

  • Run make doc (you'll need tomdoc.sh)
  • Update the CHANGELOG.md
  • Bump SHARNESS_VERSION
  • Sign the tag: git tag -s -m 'Release 1.x' v1.x
Add a custom footer
Add a custom sidebar
Clone this wiki locally