Pietro Albini 61831ff7f7 ci: remove duplicated job names on GHA		2020-04-22 18:55:48 +02:00
..
ISSUE_TEMPLATE	Clarify when to use the tracking issue template	2020-04-18 21:07:28 +02:00
workflows	ci: remove duplicated job names on GHA	2020-04-22 18:55:48 +02:00