Skip to content

Fix warnings#82

Merged
antoyo merged 1 commit intomasterfrom
fix/warnings
Jan 28, 2026
Merged

Fix warnings#82
antoyo merged 1 commit intomasterfrom
fix/warnings

Conversation

@antoyo
Copy link

@antoyo antoyo commented Jan 28, 2026

Fix #83

@antoyo antoyo force-pushed the fix/warnings branch 5 times, most recently from b47abbc to ea3a3cb Compare January 28, 2026 21:35
@antoyo antoyo merged commit e78fda2 into master Jan 28, 2026
8 checks passed
@antoyo antoyo deleted the fix/warnings branch January 28, 2026 22:15
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.

Make the CI check for warnings

1 participant

Comments