Skip to content

[TASK] Update the development tools #1353

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

[TASK] Update the development tools #1353

wants to merge 1 commit into from

Conversation

oliverklee
Copy link
Collaborator

No description provided.

@oliverklee oliverklee self-assigned this Jul 26, 2025
@oliverklee oliverklee added the dependencies Pull requests that update a dependency file label Jul 26, 2025
@oliverklee oliverklee marked this pull request as draft July 26, 2025 21:07
@coveralls
Copy link

coveralls commented Jul 26, 2025 •
edited
Loading

Coverage Status

coverage: 59.595%. remained the same
when pulling 9a2bc5f on task/dev-tools
into 33db9f7 on main.

@oliverklee oliverklee force-pushed the task/dev-tools branch 4 times, most recently from badd385 to 9a2bc5f Compare July 30, 2025 07:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@oliverklee oliverklee

Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Milestone
9.1.0: New features, bug fixes and de...
Development

Successfully merging this pull request may close these issues.
2 participants
@oliverklee @coveralls