Skip to content
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.

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

Fix complaint due to type casting #2024

Merged
merged 1 commit into from Sep 21, 2023
Merged

Fix complaint due to type casting #2024

merged 1 commit into from Sep 21, 2023

Conversation

ildyria
Copy link
Member

@ildyria ildyria commented Sep 21, 2023

See #1948
See #1993

@ildyria ildyria requested a review from a team September 21, 2023 16:40
@ildyria ildyria self-assigned this Sep 21, 2023
@ildyria ildyria added the Review: easy Easy review expected: probably just need a quick to go through. label Sep 21, 2023
@codecov
Copy link

codecov bot commented Sep 21, 2023

Codecov Report

Merging #2024 (0322e49) into master (177e08c) will decrease coverage by 0.26%.
The diff coverage is 100.00%.

Additional details and impacted files

@ildyria ildyria merged commit 5f00cbb into master Sep 21, 2023
27 checks passed
@ildyria ildyria deleted the fix-type branch September 21, 2023 17:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Review: easy Easy review expected: probably just need a quick to go through.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants