Skip to content
Stdlib Naming Convention

docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa… #1031

Sign in to view logs

docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa…

docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa… #1031

Triggered via push June 21, 2026 14:30
@hyperpolymathhyperpolymath
pushed 55ae8bb
main
Status Success
Total duration 23s
Artifacts –

stdlib-naming.yml

on: push
enforce-lowercase-stdlib
4s
enforce-lowercase-stdlib
Fit to window
Zoom out
Zoom in