Back to pull request #121154

Merge `check_mod_impl_wf` and `check_mod_type_wf` #117021

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
auto - ${{ matrix.name }}	0s
master	0s
try - ${{ matrix.name }}	0s
PR - mingw-check	23m 2s
PR - mingw-check-tidy	3m 54s
PR - x86_64-gnu-llvm-16	48m 32s
PR - x86_64-gnu-tools	30m 39s
bors build finished	0s
bors build finished	0s
bors build finished	0s
bors build finished	0s
	1h 46m 7s