Skip to content

Add concurrency management for Github workflows - #1072

Merged
mathoudebine merged 1 commit into
mainfrom
dev/update-github-workflows-for-concurrency
Aug 27, 2026
Merged

Add concurrency management for Github workflows#1072
mathoudebine merged 1 commit into
mainfrom
dev/update-github-workflows-for-concurrency

Conversation

@mathoudebine

Copy link
Copy Markdown
Owner

No description provided.

@mathoudebine
mathoudebine force-pushed the dev/update-github-workflows-for-concurrency branch from 898d53c to d9bec75 Compare August 27, 2026 17:32
@mathoudebine
mathoudebine merged commit 814cf9b into main Aug 27, 2026
15 checks passed
@mathoudebine
mathoudebine deleted the dev/update-github-workflows-for-concurrency branch August 27, 2026 17:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant