Peter Bittner 8d449868da Use job name suggested by @jezdez ... Co-authored-by: Jannis Leidel <jannis@leidel.info>		2021-11-27 19:14:13 +01:00
..
workflows	Use job name suggested by @jezdez	2021-11-27 19:14:13 +01:00