README.md: document --with-download-instruments configure option #344

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux-arch-sanitizers	7m 3s
linux-sanitizers	7m 36s
linux-arch	3m 56s
linux	5m 0s
linux-static	6m 4s
macos-sanitizers	3m 4s
macos	2m 44s
windows	5m 37s
	41m 4s