Skip to content

⬆️ Refresh dev/docs pins, group dependabot updates - #267

Merged
chrisjsewell merged 2 commits into
mainfrom
refresh-dev-pins
Jul 12, 2026
Merged

⬆️ Refresh dev/docs pins, group dependabot updates#267
chrisjsewell merged 2 commits into
mainfrom
refresh-dev-pins

🔧 Install sphinx in pre-commit mypy hook

22485cf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar