4 commits

Author	SHA1	Message	Date
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	5db55e6fe0	ci: disable toolstate commits on azure	2019-05-13 10:15:16 +02:00
John Erickson	699376ada0	Add Azure Pipelines	2019-05-10 09:46:28 +02:00