Skip to content

feat: phase 3 — 13 features, 314 tests, formal verification foundation #27

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
avrabe wants to merge 80 commits into from

ci: upgrade actions/checkout v4 → v6 (Node.js 24 compat)

c50a959
Select commit
Loading
Failed to load commit list.
Closed

feat: phase 3 — 13 features, 314 tests, formal verification foundation #27

ci: upgrade actions/checkout v4 → v6 (Node.js 24 compat)
c50a959
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Mar 15, 2026 in 1s

88.96% of diff hit (target 80.47%)

View this Pull Request on Codecov

88.96% of diff hit (target 80.47%)

View more details on Codecov