Skip to content

ci/contrib: use separate concurrency group#12835

Merged
bors merged 1 commit intorust-lang:masterfrom
dvdhrm:pr/contrib-concurrency
Oct 17, 2023
Merged

ci/contrib: use separate concurrency group#12835
bors merged 1 commit intorust-lang:masterfrom
dvdhrm:pr/contrib-concurrency

Commits

Commits on Oct 17, 2023