Skip to content

Make CodeQL happy again#230

Merged
maartenba merged 1 commit intomainfrom
mb/codeql
Mar 20, 2025
Merged

Make CodeQL happy again#230
maartenba merged 1 commit intomainfrom
mb/codeql

Conversation

@maartenba
Copy link
Member

No description provided.

@maartenba maartenba self-assigned this Mar 20, 2025
@maartenba maartenba merged commit b45594c into main Mar 20, 2025
3 checks passed
@maartenba maartenba deleted the mb/codeql branch March 20, 2025 12:52
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.

2 participants

Comments