Skip to content

Remove old tox.ini#649

Merged
teocns merged 1 commit intomainfrom
chore/cleanup-leftover-tox-ini
Jan 16, 2025
Merged

Remove old tox.ini#649
teocns merged 1 commit intomainfrom
chore/cleanup-leftover-tox-ini

Conversation

@teocns
Copy link
Contributor

@teocns teocns commented Jan 16, 2025

Tox was removed in #606, hence no point to keep this file hanging around

Tox was removed in #606, hence no point to keep this file hanging around

Signed-off-by: Teo <teocns@gmail.com>
@teocns teocns merged commit 06d64d9 into main Jan 16, 2025
2 checks passed
@teocns teocns deleted the chore/cleanup-leftover-tox-ini branch January 16, 2025 21:15
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