CI

solver cycles are coinductive once they have one coinductive step #151064

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
Calculate job matrix	11s
PR - mingw-check	38m 24s
PR - mingw-check-tidy	10m 7s
PR - x86_64-gnu-llvm-18	1h 0m 39s
PR - x86_64-gnu-tools	50m 20s
bors build finished	0s
	2h 39m 41s