Skip to content

(chore)ci: /s/master/main#2204

Merged
jethrokuan merged 1 commit intomainfrom
ci/main
May 25, 2022
Merged

(chore)ci: /s/master/main#2204
jethrokuan merged 1 commit intomainfrom
ci/main

Conversation

@jethrokuan
Copy link
Copy Markdown
Member

No description provided.

@jethrokuan jethrokuan merged commit 32557af into main May 25, 2022
@jethrokuan jethrokuan deleted the ci/main branch May 25, 2022 21:19
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jun 7, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant