CI

Rollup of 13 pull requests #185826

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	34s
PR - x86_64-gnu-tools	43m 59s
PR - x86_64-gnu-gcc	44m 1s
PR - aarch64-gnu-llvm-20-2	43m 57s
PR - aarch64-gnu-llvm-20-1	43m 42s
PR - tidy	5m 58s
PR - x86_64-gnu-miri	44m 1s
PR - pr-check-1	44m 0s
PR - x86_64-gnu-llvm-20	44m 1s
PR - pr-check-2	44m 1s
bors build finished	-1s
	5h 58m 13s