Skip to content

Fix red CI: install the dev extra, and let package doctests run - #12

Merged
thorwhalen merged 1 commit into
mainfrom
claude/rollout-ci-fix
Aug 4, 2026
Merged

Fix red CI: install the dev extra, and let package doctests run#12
thorwhalen merged 1 commit into
mainfrom
claude/rollout-ci-fix

Commits

Commits on Aug 3, 2026