Skip to content

Avoid CI concurrency on main#175

Merged
miguelmaso merged 1 commit into
mainfrom
avoid-main-concurrency
Jun 23, 2026
Merged

Avoid CI concurrency on main#175
miguelmaso merged 1 commit into
mainfrom
avoid-main-concurrency

avoid concurrency on main

37dfba1
Select commit
Loading
Failed to load commit list.