Skip to content

Remove tox in favor of pixi#62

Merged
tobiasraabe merged 4 commits intomainfrom
pr/remove-tox
Dec 30, 2025
Merged

Remove tox in favor of pixi#62
tobiasraabe merged 4 commits intomainfrom
pr/remove-tox

Conversation

@tobiasraabe
Copy link
Member

Summary\n- drop tox and update typing job to use pixi\n- add a typing pixi environment and update lockfile\n- remove .tox from config/codecov\n\n## Testing\n- not run (config changes only)

@tobiasraabe tobiasraabe added this pull request to the merge queue Dec 30, 2025
Merged via the queue into main with commit 941f99c Dec 30, 2025
20 checks passed
@tobiasraabe tobiasraabe deleted the pr/remove-tox branch December 30, 2025 09:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant