Skip to content

Fail on warnings#9

Merged
doctorlai-msrc merged 1 commit intomainfrom
minor
Dec 18, 2025
Merged

Fail on warnings#9
doctorlai-msrc merged 1 commit intomainfrom
minor

Conversation

@doctorlai-msrc
Copy link
Collaborator

No description provided.

@doctorlai-msrc doctorlai-msrc merged commit a73c525 into main Dec 18, 2025
1 check passed
@doctorlai-msrc doctorlai-msrc deleted the minor branch December 18, 2025 14:21
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.

1 participant