CI

opt-dist: add an option for setting path to stage0 root #168323

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	37s
PR - aarch64-gnu-llvm-19-2	54m 17s
PR - pr-check-2	44m 39s
PR - tidy	3m 53s
PR - pr-check-1	34m 44s
PR - x86_64-gnu-llvm-19	48m 20s
PR - x86_64-gnu-miri	1h 24m 57s
PR - x86_64-gnu-tools	1h 3m 21s
PR - aarch64-gnu-llvm-19-1	1h 9m 30s
bors build finished	0s
	6h 44m 18s