Stdlib Naming Convention

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

Sign in to view logs

Triggered via pull request June 21, 2026 17:40

synchronize #639

claude/interp-port-and-rows-scaffold

Status Success

Total duration 11s

Artifacts –

stdlib-naming.yml

on: pull_request

enforce-lowercase-stdlib