Support more constraints for Conway witnesses #921

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.10.7, 3.10.1.0, macos-latest)	13m 9s
build (8.10.7, 3.10.1.0, ubuntu-latest)	8m 14s
build (8.10.7, 3.10.1.0, windows-latest)	13m 6s
build (9.2.7, 3.10.1.0, macos-latest)	8m 26s
build (9.2.7, 3.10.1.0, windows-latest)	12m 9s
build (9.2.7, 3.10.1.0, ubuntu-latest)	7m 38s
build (9.6.2, 3.10.1.0, macos-latest)	8m 30s
build (9.6.2, 3.10.1.0, ubuntu-latest)	7m 10s
build (9.6.2, 3.10.1.0, windows-latest)	11m 0s
build-complete	1s
release	0s
	1h 29m 23s