Skip to content

Conversation

@BNAndras
Copy link
Member

@BNAndras BNAndras commented Jun 8, 2025

Reverts #228

@BNAndras BNAndras added x:rep/tiny Tiny amount of reputation x:type/ci Work on Continuous Integration (e.g. GitHub Actions workflows) labels Jun 8, 2025
@BNAndras BNAndras merged commit 78a0bbb into main Jun 8, 2025
3 checks passed
@BNAndras BNAndras deleted the BNAndras-patch-1 branch June 8, 2025 05:40
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.

2 participants