Skip to content

Conversation

sungam3r
Copy link
Owner

@sungam3r sungam3r commented Nov 6, 2022

No description provided.

@github-actions github-actions bot added the CI CI configuration issue or pull request label Nov 6, 2022
@sungam3r sungam3r merged commit 838f74c into master Nov 6, 2022
@sungam3r sungam3r deleted the ci branch November 6, 2022 16:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI CI configuration issue or pull request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant