Skip to content

ci: move concurrency to correct workflow#3981

Merged
Fdawgs merged 1 commit intomainfrom
ci/concurrency
Jun 9, 2022
Merged

ci: move concurrency to correct workflow#3981
Fdawgs merged 1 commit intomainfrom
ci/concurrency

Conversation

@Fdawgs
Copy link
Member

@Fdawgs Fdawgs commented Jun 9, 2022

Put it in the wrong workflow in #3973 😞

Checklist

@Fdawgs Fdawgs merged commit 07f847e into main Jun 9, 2022
@Fdawgs Fdawgs deleted the ci/concurrency branch June 9, 2022 15:18
@github-actions
Copy link

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jun 10, 2023
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