Skip to content

Conversation

@danilolutz
Copy link
Owner

No description provided.

@danilolutz danilolutz merged commit f06dc87 into main Nov 25, 2025
1 of 3 checks passed
@danilolutz danilolutz deleted the ci/fix branch November 25, 2025 18:08
@coveralls
Copy link

Coverage Status

coverage: 100.0%. remained the same
when pulling 0e42272 on ci/fix
into 15feeb5 on main.

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