Skip to content

Conversation

@Josephasafg
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the ci Change to CI label Jul 5, 2024
@Josephasafg Josephasafg merged commit 8a270ec into main Jul 5, 2024
@Josephasafg Josephasafg deleted the ci_label_removal_action branch July 5, 2024 16:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Change to CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants