Skip to content
Secret Scanner

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

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 … #1271

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

secret-scanner.yml

on: push
scan
5s
scan
Fit to window
Zoom out
Zoom in