wai: shared lists name their tables instead of enumerating every record #416
Loading…
Reference in a new issue
No description provided.
Delete branch "wai/shared-lists"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Every slice extended the same six sentences, so every open PR conflicted with every other in prose that had to be rewritten by hand at each merge:
Each now points at the table that lists the entries, so a new slice adds a row and edits no sentence:
record;live-conformance/README.md's table, which gains a generator column.No behaviour changes: comments, prose and one test's reason string.
registry export --checkcargo test --lib codecs::--test cli_registry --test corpus_provenance--release --test int_kernels_vectors🤖 Generated with Claude Code