Boost supported versions

Merge upstream/develop into minDegree-ordering-cleanup #8

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ubuntu Boost (75)	7m 4s
Ubuntu Boost (76)	1s
Ubuntu Boost (56)	6m 11s
Ubuntu Boost (78)	6m 5s
Ubuntu Boost (79)	1s
Ubuntu Boost (68)	7m 31s
Ubuntu Boost (83)	5m 44s
Ubuntu Boost (80)	1s
Ubuntu Boost (84)	6m 12s
Ubuntu Boost (86)	4m 4s
Ubuntu Boost (77)	1s
	42m 55s