Skip to content
Stdlib Naming Convention

feat(formal): grow P-3 to a real borrow graph (loan edges + move-loca… #1010

Sign in to view logs

feat(formal): grow P-3 to a real borrow graph (loan edges + move-loca…

feat(formal): grow P-3 to a real borrow graph (loan edges + move-loca… #1010

Triggered via push June 21, 2026 13:25
@hyperpolymathhyperpolymath
pushed 16a849a
main
Status Success
Total duration 11s
Artifacts –

stdlib-naming.yml

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