Skip to content

chore: align dev optional-deps indentation in pyproject.toml#38

Merged
negillett merged 1 commit into
IntentProof:mainfrom
negillett:chore/pyproject-dev-deps-indent
May 10, 2026
Merged

chore: align dev optional-deps indentation in pyproject.toml#38
negillett merged 1 commit into
IntentProof:mainfrom
negillett:chore/pyproject-dev-deps-indent

chore: align dev optional-deps indentation in pyproject.toml

a0ecddc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
audit
succeeded May 10, 2026 in 27s