docs(596-verify): section D asserts both sonames this ecosystem serves #1842

Job	Run time
toolchain: musl + llvm	10m 31s
build + unit tests (linux x86_64, self-host)	13m 35s
examples: the curriculum builds	9m 42s
integration: mcpp builds & runs xlings	9m 16s
toolchain: gcc (cold self-host)	9m 43s
	52m 47s

Navigation Menu