Skip to content

Conversation

@BNAndras
Copy link
Member

@BNAndras BNAndras requested a review from a team June 16, 2025 03:45
@BNAndras BNAndras added x:type/ci Work on Continuous Integration (e.g. GitHub Actions workflows) x:rep/tiny Tiny amount of reputation labels Jun 16, 2025
@ErikSchierboom ErikSchierboom merged commit b2d0c3b into main Jun 16, 2025
3 checks passed
@ErikSchierboom ErikSchierboom deleted the BNAndras-patch-1 branch June 16, 2025 05:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

x:rep/tiny Tiny amount of reputation x:type/ci Work on Continuous Integration (e.g. GitHub Actions workflows)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants