Stdlib Naming Convention

feat(formal): real-lift R2-loops — backward jumps (Loop/Br/BrIf) + wh… #1073

Sign in to view logs

Triggered via push June 27, 2026 19:46

main

Status Success

Total duration 28s

Artifacts –

stdlib-naming.yml

on: push

enforce-lowercase-stdlib