Repository navigation
What's Changed
Fixes
- Stop FloatLib's speed-up chain at a benchmark change by @rob-dendrite in #151
- Anchor FloatLib's suite speed-ups on #265, measured on PROD by @rob-dendrite in #152
Other changes
- Bump the actions group with 4 updates by @dependabot[bot] in #145
- Dev by @rob-dendrite in #154
New Contributors
- @dependabot[bot] made their first contribution in #145
- @conjectures-release[bot] made their first contribution in #147
Full Changelog: v2026.10.22...v2026.10.22.2
Deployed commit e78afe97f93cbdae1f65f354a8e8d12b355f2020, recorded by https://github.com/conjectures-io/conjectures-validator/actions/runs/39857012649