Skip to content

chore: remove unused labels workflow#34

Merged
bdraco merged 1 commit intomainfrom
labels_remove
Feb 22, 2025
Merged

chore: remove unused labels workflow#34
bdraco merged 1 commit intomainfrom
labels_remove

Conversation

@bdraco
Copy link
Member

@bdraco bdraco commented Feb 22, 2025

No description provided.

@bdraco bdraco merged commit b701e1f into main Feb 22, 2025
17 of 18 checks passed
@bdraco bdraco deleted the labels_remove branch February 22, 2025 17:06
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.

1 participant