CI

add a few new solver normalization tests #205521

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	39s
PR - pr-check-2	42m 22s
PR - aarch64-gnu-llvm-21-2	50m 22s
PR - x86_64-gnu-llvm-21	1h 15m 48s
PR - tidy	5m 46s
PR - x86_64-gnu-miri	1h 17m 20s
PR - x86_64-gnu-gcc	54m 3s
PR - x86_64-gnu-tools	1h 0m 37s
PR - pr-check-1	35m 5s
PR - aarch64-gnu-llvm-21-1	1h 0m 28s
publish toolstate	0s
	7h 42m 30s