Skip to content

Pre-publish polish: repo URL, docs.rs metadata, release pipeline, badges#4

Merged
JosiahBull merged 4 commits into
mainfrom
brian/release-pipeline-and-publish-prep
May 20, 2026
Merged

Pre-publish polish: repo URL, docs.rs metadata, release pipeline, badges#4
JosiahBull merged 4 commits into
mainfrom
brian/release-pipeline-and-publish-prep

Commits

Commits on May 20, 2026