Back to pull request #125088

Uplift `AliasTy` and `AliasTerm` #123961

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	9s
PR - mingw-check	27m 4s
PR - mingw-check-tidy	4m 50s
PR - x86_64-gnu-llvm-17	51m 50s
PR - x86_64-gnu-tools	44m 22s
bors build finished	0s
	2h 8m 15s