Skip to content

cancel in progress ci runs, when new version is pushed#412

Merged
mmarx merged 2 commits intomainfrom ci/cancel-in-progress-in-prNov 9, 2023

Commits

Commits on Nov 9, 2023