Skip to content

Conversation

@TiaTuinstra
Copy link
Collaborator

No description provided.

@TiaTuinstra TiaTuinstra changed the title pre-commit for local and github actions formatting pre-commit for local formatting Oct 24, 2025
@TiaTuinstra TiaTuinstra marked this pull request as ready for review October 24, 2025 20:56
@jangevaare
Copy link
Member

Closes #54

@jangevaare
Copy link
Member

Sorry, this must've been an accidental close instead of merge. I will restore

@jangevaare jangevaare restored the pre-commit branch October 29, 2025 12:59
@jangevaare jangevaare reopened this Oct 29, 2025
@codecov
Copy link

codecov bot commented Oct 29, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@jangevaare jangevaare merged commit 9dbdac2 into main Oct 29, 2025
3 checks passed
@jangevaare jangevaare deleted the pre-commit branch October 29, 2025 13:02
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.

3 participants