Pietro Albini 1f106b5527 ci: set a default shell on GHA		2020-04-22 18:53:11 +02:00
..
ISSUE_TEMPLATE	Clarify when to use the tracking issue template	2020-04-18 21:07:28 +02:00
workflows	ci: set a default shell on GHA	2020-04-22 18:53:11 +02:00