Matthias Krüger fe9f4fd5a7 Rollup merge of #113173 - Kobzol:ci-concurrency-group-workflow, r=pietroalbini ...

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.

Found by ``@klensy`` [here](https://github.com/rust-lang/rust/pull/113059#discussion_r1247213606).

2023-07-08 15:49:45 +02:00

..

ISSUE_TEMPLATE

issue template: add clippy entry which points to the clippy repo

2023-06-23 18:54:19 +02:00

workflows

Rollup merge of #113173 - Kobzol:ci-concurrency-group-workflow, r=pietroalbini

2023-07-08 15:49:45 +02:00