Skip to content

Chore: update black on PR concerning source - #785

Merged
cvanelteren merged 1 commit into
mainfrom
chore/auto-commit-black
Aug 4, 2026
Merged

Chore: update black on PR concerning source#785
cvanelteren merged 1 commit into
mainfrom
chore/auto-commit-black

Conversation

@cvanelteren

Copy link
Copy Markdown
Collaborator

This way it prevents annoying extra commits and directly updates the PR.

@codecov

codecov Bot commented Aug 4, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@cvanelteren
cvanelteren marked this pull request as ready for review August 4, 2026 10:06
@cvanelteren
cvanelteren merged commit 2ab3b6c into main Aug 4, 2026
19 checks passed
@cvanelteren
cvanelteren deleted the chore/auto-commit-black branch August 4, 2026 10:06
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