Pietro Albini 1daab471ce ci: temp increase of the timeout to 10 hours ... Let's see how long a full build takes.		2019-05-21 10:27:41 +02:00
..
steps	ci: temp increase of the timeout to 10 hours	2019-05-21 10:27:41 +02:00
auto.yml	Refactor azure pipelines configuration	2019-05-20 12:24:58 -07:00
master.yml	ci: disable builders not useful during the evaluation	2019-05-13 10:15:16 +02:00
pr.yml	Refactor azure pipelines configuration	2019-05-20 12:24:58 -07:00
try.yml	Configure a few more builders on try temporarily	2019-05-20 12:29:30 -07:00