Antoine Martin d0cb004d7a ci: shorten workflow name ... This way step names aren't cropped in the UI		2022-05-09 01:52:32 +02:00
..
workflows	ci: shorten workflow name	2022-05-09 01:52:32 +02:00