Ihor Solodrai eca706a5e1 ci: fix concurrency group for push and schedule triggers ...

github.head_ref is empty for push and schedule events, so all those
runs shared the same concurrency group and cancelled each other. Fall
back to github.run_id to give each non-PR run a unique group.

Assisted-by: Claude:claude-opus-4-6
Signed-off-by: Ihor Solodrai <ihor.solodrai@linux.dev>

2026-03-11 18:35:55 -07:00

..

actions

ci: cleanup now unused local actions and workflows

2024-11-18 22:00:09 -08:00

workflows

ci: fix concurrency group for push and schedule triggers

2026-03-11 18:35:55 -07:00