Rui Marinho ad6fe44ca2 [Build] Fix jenkins job id and add triggers		2018-11-13 15:07:45 +00:00
..
provisioning	[Build] Add azure pipeline definition (#4385)	2018-11-13 12:43:14 +00:00
scripts	[Build] Add azure pipeline definition (#4385)	2018-11-13 12:43:14 +00:00
steps	[Build] Fix jenkins job id and add triggers	2018-11-13 15:07:45 +00:00