Skip to content

0.0.4

Choose a tag to compare

@mbarbin mbarbin released this 14 Feb 17:05
· 107 commits to main since this release

CHANGES:

Changed

  • Upgrade dune to 3.14.
  • Build the doc with sherlodoc available to enable the doc search bar.