Skip to content

test: end-to-end verify --display-timing emits non-zero solve times

27c6eac
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

display_timing: expose via Config and CLI (#290) #708

test: end-to-end verify --display-timing emits non-zero solve times
27c6eac
Select commit
Loading
Failed to load commit list.

Annotations

2 warnings
run_all.py direct solver (part 1)
succeeded May 18, 2026 in 4m 58s