Reduce dependencies and compilation #1836

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	8m 37s
test (Downstream, 1)	5m 58s
test (GroebnerExt, 1)	3m 52s
	18m 27s