Add job timeouts and PR concurrency to workflows - #15

Merged

woksin merged 2 commits into

mainfrom

chore/ci-timeouts-concurrency

Aug 25, 2026

Commits on Aug 25, 2026

chore: add job timeouts and pull request concurrency to workflows
woksin
committed
78bc464
chore: retrigger checks (semver label was added after the gate first ran)
woksin
committed
bbb2348