Skip to content

Conversation

@BNAndras
Copy link
Member

@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
@IsaacG IsaacG merged commit 70736da into main Jun 16, 2025
8 checks passed
@IsaacG IsaacG deleted the BNAndras-patch-2 branch June 16, 2025 15:30
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.

5 participants