Skip to content

ci(validation): retain diagnostics and reduce redundant compilation - #72

Merged
undergroundrap merged 26 commits into
mainfrom
fix/ci-phase-progress-timing
Oct 19, 2026
Merged

ci(validation): retain diagnostics and reduce redundant compilation#72
undergroundrap merged 26 commits into
mainfrom
fix/ci-phase-progress-timing

perf(ci): isolate final proof flags and fix bindings

d2deec0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar