Back to pull request #126403

Actually report normalization-based type errors correctly for alias-relate obligations in new solver #128732

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	10s
PR - mingw-check	25m 31s
PR - mingw-check-tidy	4m 14s
PR - x86_64-gnu-llvm-17	52m 37s
PR - x86_64-gnu-tools	36m 35s
bors build finished	0s
	1h 59m 7s