Skip to content

Evaluator cache, prover speed, flaky pong spec, parallel CI - #12

Merged
yogthos merged 10 commits into
mainfrom
eval-cache-list-vs-vector
Sep 25, 2026
Merged

yogthos merged 10 commits into
mainfrom
eval-cache-list-vs-vector

CI: pong back to the examples' 60 minute timeout

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

Annotations

1 warning and 1 notice
test
succeeded Sep 25, 2026 in 4m 31s