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