CI

Make well-formedness predicates no longer coinductive #156987

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	55s
PR - mingw-check	29m 11s
PR - mingw-check-tidy	8m 56s
PR - x86_64-gnu-llvm-19	58m 19s
PR - x86_64-gnu-tools	52m 29s
bors build finished	0s
	2h 29m 50s