2 Commits

Author	SHA1	Message	Date
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