Kernel rig: two curvature rounds get 600 s, past the 180 s default, while G2 certification is slow (tangency-labs/smlib#96)

On the CI runners the boss root and the hole rim, both size-2/size-1 curvature rounds, build
correctly but take more than 180 s: the order-2 section's span certificate and the round's
definition are evaluated station by station. The per-case limit is the one the thread cases use.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01DtL5M41G8Nua7HvuFPZkmJ
This commit is contained in:
jyvikoandClaude Opus 5.5 authored and jyviko committed 2026-11-01 19:01:31 -05:00
1 parent f873056481
commit 75efb8f0cf
2 files changed
+4 -2

No files matched your search

@@ -11,5 +11,6 @@
},
"tolerance": {
"rel": 1e-07
}
},
"timeout_s": 600
}
@@ -20,5 +20,6 @@
},
"continuity": {
"order": "g2"
}
},
"timeout_s": 600
}