3.6.0 -- 2024-07-24
3.6.0 (2024-07-23)
Features
Maintenance
- bump dafny verification version to 4.7 (#1181) (e7801ec)
- CI/CD: use latest conventional-changelog-conventionalcommits (#1195) (510227e)
- Fix nightly build (aside from verification) (#1029) (862420e)
- GHA: add action for testing against MPL HEAD (#1187) (b2f70ca)
- GHA: fix daily ci (#1194) (a1427e0)
- MPL: Bump MPL to 1.5.1 (#1201) (808a5b4)
- Sonatype Migration to User Tokens (#1216) (a3b4ef9)
- Try to update existing issues (31c6b98)
- Try to update existing issues (4471295)
- update project.properties to be SNAPSHOT (#1087) (6f2825e)