CI

Rollup of 7 pull requests #186318

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	33s
PR - aarch64-gnu-llvm-20-2	51m 49s
PR - x86_64-gnu-llvm-20	49m 38s
PR - pr-check-1	42m 25s
PR - pr-check-2	49m 9s
PR - tidy	6m 1s
PR - x86_64-gnu-miri	52m 6s
PR - x86_64-gnu-gcc	52m 8s
PR - aarch64-gnu-llvm-20-1	52m 6s
PR - x86_64-gnu-tools	52m 4s
bors build finished	0s
	6h 47m 59s