CI

Use special DefIds for aliases #205212

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	35s
PR - pr-check-2	52m 15s
PR - x86_64-gnu-gcc	1h 13m 34s
PR - aarch64-gnu-llvm-21-1	1h 8m 31s
PR - pr-check-1	54m 25s
PR - x86_64-gnu-llvm-21	1h 18m 54s
PR - aarch64-gnu-llvm-21-2	56m 31s
PR - x86_64-gnu-miri	1h 21m 19s
PR - x86_64-gnu-tools	1h 7m 25s
PR - tidy	5m 26s
publish toolstate	0s
	8h 58m 55s