rework winnowing to sensibly handle global where-bounds #141697

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	11s
PR - mingw-check	35m 37s
PR - mingw-check-tidy	8m 44s
PR - x86_64-gnu-llvm-18	1h 7m 17s
PR - x86_64-gnu-tools	48m 41s
bors build finished	0s
	2h 40m 30s