Skip to content

Unpinned ruff for CI + Cleaned up workflow files a little#79

Open
RobertoRoos wants to merge 3 commits intosphinx-doc:mainfrom
RobertoRoos:bugfix/ci
Open

Unpinned ruff for CI + Cleaned up workflow files a little#79
RobertoRoos wants to merge 3 commits intosphinx-doc:mainfrom
RobertoRoos:bugfix/ci

Commits

Commits on Dec 2, 2025