bunnei e07dfc4da3 ci: Rename build folder only on non-mainline builds hace 6 años
..
common e07dfc4da3 ci: Rename build folder only on non-mainline builds hace 6 años
format bbc5b5d62d Finalize Azure Pipelines Definitions hace 7 años
linux e07dfc4da3 ci: Rename build folder only on non-mainline builds hace 6 años
merge 0e58bfedfd ci: Check additional pages on GitHub hace 7 años
windows e07dfc4da3 ci: Rename build folder only on non-mainline builds hace 6 años