Skip to content
Semgrep SAST

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

Sign in to view logs

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

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

Triggered via push June 21, 2026 12:08
@hyperpolymathhyperpolymath
pushed bfa312b
main
Status Success
Total duration 50s
Artifacts –

semgrep.yml

on: push
semgrep
46s
semgrep
Fit to window
Zoom out
Zoom in