Skip to content

RFC: Structured verification results (export-json) - #4727

Merged
feliperodri merged 18 commits into
model-checking:mainfrom
ivmat:rfc-export-json
Sep 24, 2026
Merged

feliperodri merged 18 commits into
model-checking:mainfrom
ivmat:rfc-export-json

Merge branch 'main' into rfc-export-json

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

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 24, 2026 in 5s