CI

Rename EII attributes slightly (being consistent in naming things foreign items, not extern items) #189376

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	44s
PR - tidy	6m 8s
PR - x86_64-gnu-llvm-20	1h 31m 36s
PR - pr-check-1	1h 1m 45s
PR - aarch64-gnu-llvm-20-2	57m 22s
PR - x86_64-gnu-gcc	1h 4m 16s
PR - pr-check-2	55m 31s
PR - aarch64-gnu-llvm-20-1	1h 4m 36s
PR - x86_64-gnu-miri	1h 22m 48s
PR - x86_64-gnu-tools	1h 13m 49s
bors build finished	0s
	9h 18m 35s