Jakub Beránek f88024627b CI: include workflow name in concurrency group ... Currently, this won't change anything, because we only have one relevant workflow (`CI`), but for future proofing we should probably include the workflow name in the concurrency group.		2023-06-30 00:08:38 +02:00
..
ISSUE_TEMPLATE	issue template: add clippy entry which points to the clippy repo	2023-06-23 18:54:19 +02:00
workflows	CI: include workflow name in concurrency group	2023-06-30 00:08:38 +02:00