v0.8.0

erwanor released this 03 Oct 03:02

· 12 commits to main since this release

1a7aca1

What's Changed

ci: surface proptests correctly by @erwanor in #102
Preston/simplify update proofs by @preston-evans98 in #99
jmt(ics23): fix bounding path bug by @erwanor in #100

Full Changelog: v0.7.0...v0.8.0

Contributors

erwanor and preston-evans98

Assets 2