5 Commits

Author	SHA1	Message	Date
Pietro Albini	92bf1e6661	ci: update azure variable groups	2019-05-15 19:39:29 +02:00
Pietro Albini	807b7dd786	ci: disable builders not useful during the evaluation	2019-05-13 10:15:16 +02:00
Pietro Albini	da949780f0	ci: remove trailing whitespaces from azure config	2019-05-13 10:15:16 +02:00
Pietro Albini	c50517ae85	ci: reduce all azure timeouts to 3 hours ... As the infra team we decided to have an hard timeout of 3 hours on all the jobs: while this sometimes causes spurious timeout errors it's a great limit to prevent CI time to grow even more.	2019-05-10 09:56:46 +02:00
John Erickson	699376ada0	Add Azure Pipelines	2019-05-10 09:46:28 +02:00