Skip to content

feat(polytime): report a failed certificate subterm - #1738

Merged
SamuelSchlesinger merged 2 commits into
mainfrom
feat/polytime-failure-hint-20261030
Oct 30, 2026
Merged

SamuelSchlesinger merged 2 commits into
mainfrom
feat/polytime-failure-hint-20261030

style(tests): wrap polynomial-time hint controls

f07988c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
compare
succeeded Oct 30, 2026 in 11m 29s