Stdlib Naming Convention

docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold #1037

Sign in to view logs

Triggered via pull request June 21, 2026 17:38

opened #639

claude/interp-port-and-rows-scaffold

Status Success

Total duration 8s

Artifacts –

stdlib-naming.yml

on: pull_request

enforce-lowercase-stdlib