Skip to content

0.3.3

Latest
Latest

Choose a tag to compare

View all tags
@mbarbin mbarbin released this 25 Jan 14:53
· 31 commits to main since this release
Immutable release. Only release title and notes can be modified.
0.3.3
f6bcceb
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

CHANGES:

This patch release brings internal changes only, with an improvement to the distribution process (immutable releases).

Added

  • Add more CI workflows based on setup-dune (@mbarbin).

Changed

  • Improved CI scripts; upgrade and pin CI dependencies (@mbarbin).

Contributors

mbarbin
Assets 4
Loading