docs: sync documentation with current behavior #703

Job	Run time
integration: mcpp builds & runs xlings	6m 31s
build + unit tests (linux x86_64, self-host)	7m 36s
toolchain: musl + llvm	6m 10s
toolchain: gcc (cold self-host)	5m 43s
	26m 0s

Navigation Menu