Skip to content

Conversation

@jorgepiloto
Copy link
Member

No description provided.

@jorgepiloto jorgepiloto merged commit 53457e9 into main Nov 24, 2022
@jorgepiloto jorgepiloto deleted the ci/disable-concurrency branch November 24, 2022 17:17
@github-actions github-actions bot added the maintenance Generic maintenance related label Nov 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Generic maintenance related

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants