Skip to content

Fix typing of metrics method#35

Merged
tr4nt0r merged 1 commit intomainfrom
fix-typing-for-`metrics`-method
Jun 11, 2025
Merged

Fix typing of metrics method#35
tr4nt0r merged 1 commit intomainfrom
fix-typing-for-`metrics`-method

Conversation

@tr4nt0r
Copy link
Owner

@tr4nt0r tr4nt0r commented Jun 11, 2025

No description provided.

@github-actions github-actions bot added the 👻 bug Something isn't working label Jun 11, 2025
@tr4nt0r tr4nt0r merged commit 1027d15 into main Jun 11, 2025
7 of 13 checks passed
@tr4nt0r tr4nt0r deleted the fix-typing-for-`metrics`-method branch June 11, 2025 10:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

👻 bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant