Pietro Albini 89339df264 ci: run the "bors build finished" jobs only during try and auto runs		2020-03-24 15:36:14 +01:00
..
ISSUE_TEMPLATE
workflows	ci: run the "bors build finished" jobs only during try and auto runs	2020-03-24 15:36:14 +01:00