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	rust-lang.github.io/rustc-dev-guide -> rustc-dev-guide.rust-lang.org	2020-03-10 17:08:18 -03:00
workflows	ci: run the "bors build finished" jobs only during try and auto runs	2020-03-24 15:36:14 +01:00