🐛 Bug Fixes

- Make degree lowering deterministic (f230ba70)

⚙️ Miscellaneous

- Correctly name clippy warning (568c4836)
- Update CI dependencies (a06c8fa0)

♻️ Refactor

- Public `NUM_*_CONSTRAINTS` constants (abd15be8)