CI

Reduce dependencies and compilation #1835

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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