Skip to content

feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/F-3/F-4 #896

feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/F-3/F-4

feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/F-3/F-4 #896

Triggered via pull request June 21, 2026 11:47
Status Success
Total duration 9s
Artifacts

governance.yml

on: pull_request
governance
5s
governance
Fit to window
Zoom out
Zoom in