CI

Rollup of 21 pull requests #171154

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	57s
PR - pr-check-1	6m 20s
PR - tidy	4m 14s
PR - pr-check-2	6m 10s
PR - aarch64-gnu-llvm-19-1	6m 20s
PR - x86_64-gnu-miri	6m 21s
PR - x86_64-gnu-llvm-19	6m 21s
PR - x86_64-gnu-tools	6m 24s
PR - aarch64-gnu-llvm-19-2	6m 4s
bors build finished	0s
	49m 11s