Kacper Michajłow 9483d6e12f ci: cancel pr jobs after new push ...

github.head_ref is only defined for pull_request event, so only those
will be grouped, the rest will fallback to unique run_id, so we neither
cancel them or serialize.

2026-01-10 02:48:15 +01:00

..

ISSUE_TEMPLATE

github/issue_template: add IDs to textarea fields for URL queries

2026-01-06 11:34:16 +01:00

workflows

ci: cancel pr jobs after new push

2026-01-10 02:48:15 +01:00

PULL_REQUEST_TEMPLATE

github: add newline at end of file of pull request template

2024-10-24 17:40:26 +02:00