Skip to content

Chore/devtools#31

Merged
c-randall merged 4 commits intomainfrom
chore/devtools
Feb 8, 2026
Merged

Chore/devtools#31
c-randall merged 4 commits intomainfrom
chore/devtools

Conversation

@c-randall
Copy link
Collaborator

Description

Switch over to using ruff for linting and enable a codecov workflow. Update badges on README for codecov, downloads, license, PyPI, etc.

Type of change

  • New feature (non-breaking change which adds functionality)
  • Optimization (back-end change that improves speed/readability/etc.)
  • Bug fix (non-breaking change which fixes an issue)
  • Chore (any other clean up, maintenance, etc.)

Key checklist:

  • No style issues: $ nox -s linter [-- format]
  • Code is free of misspellings: $ nox -s codespell [-- write]
  • All tests pass: $ nox -s tests
  • Badges are updated: $ nox -s badges

Further checks:

  • The documentation builds: $ nox -s docs.
  • Code is commented, particularly in hard-to-understand areas.
  • Tests are added that prove fix is effective or that feature works.

@codecov
Copy link

codecov bot commented Feb 8, 2026

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@c-randall c-randall marked this pull request as ready for review February 8, 2026 17:53
@c-randall c-randall merged commit 6c065e8 into main Feb 8, 2026
13 checks passed
@c-randall c-randall deleted the chore/devtools branch February 8, 2026 17:53
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

Comments