make-tests

Update cudd: Fix IEEE 754 +Infinity check in configure script #305

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (11, ubuntu-latest)	4m 28s
build-win (11)	9m 21s
build (11, macos-latest)	4m 38s
build-win (21)	11m 53s
build (21, ubuntu-latest)	4m 28s
build (21, macos-latest)	4m 39s
	39m 27s