Skip to content

Merge develop into main#234

Merged
bbandic1 merged 17 commits intomainfrom
develop
May 26, 2025
Merged

Merge develop into main#234
bbandic1 merged 17 commits intomainfrom
develop

Conversation

@bbandic1
Copy link
Contributor

@bbandic1 bbandic1 commented May 26, 2025

Merge develop into main

Copy link

@github-advanced-security github-advanced-security bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

CodeQL found more than 20 potential problems in the proposed changes. Check the Files changed tab for more details.

@bbandic1 bbandic1 merged commit 01e2d90 into main May 26, 2025
3 of 4 checks passed
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.

4 participants