What's Changed
- Sync
develop
withmain
by @Adamantios in #136 - Update tools by @Adamantios in #137
- Release
v0.9.12
by @Adamantios in #138 - Disable sum tools by @Adamantios in #139
- Disable flaky tools by @Adamantios in #140
Full Changelog: v0.9.11...v0.9.12