bunnei e07dfc4da3 ci: Rename build folder only on non-mainline builds		2019-11-06 23:26:29 -05:00
..
common	ci: Rename build folder only on non-mainline builds	2019-11-06 23:26:29 -05:00
format	Finalize Azure Pipelines Definitions	2019-07-13 21:34:40 -04:00
linux	ci: Rename build folder only on non-mainline builds	2019-11-06 23:26:29 -05:00
merge	ci: Check additional pages on GitHub	2019-10-01 21:54:26 -04:00
windows	ci: Rename build folder only on non-mainline builds	2019-11-06 23:26:29 -05:00