Skip to content

chore: remove concurrency call and pin action version to have a base run before action v4#57

Merged
GuillaumeLagrange merged 1 commit intomainfrom
remove-ci-concurrency
Sep 19, 2025
Merged

chore: remove concurrency call and pin action version to have a base run before action v4#57
GuillaumeLagrange merged 1 commit intomainfrom
remove-ci-concurrency

Commits

Commits on Sep 19, 2025