Skip to content
Scorecards supply-chain security

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

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/… #616

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

scorecard.yml

on: push
Scorecard analysis
26s
Scorecard analysis
Fit to window
Zoom out
Zoom in