Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci: move concurrency to correct workflow #3981

Merged
merged 1 commit into from Jun 9, 2022
Merged

ci: move concurrency to correct workflow #3981

merged 1 commit into from Jun 9, 2022

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.

None yet

1 participant