Skip to content
Governance

feat(formal): grow P-2 to the STLC with functions + the substitution … #909

Sign in to view logs

feat(formal): grow P-2 to the STLC with functions + the substitution …

feat(formal): grow P-2 to the STLC with functions + the substitution … #909

Triggered via push June 21, 2026 13:48
@hyperpolymathhyperpolymath
pushed 12618eb
main
Status Success
Total duration 10s
Artifacts –

governance.yml

on: push
governance
6s
governance
Fit to window
Zoom out
Zoom in