CI on push

Merge pull request #2444 from fredrik-johansson/precond2 #442

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cygwin GCC (x0.5)	25m 1s
FreeBSD Clang (x0.5)	7m 33s
	32m 34s