CI

Merge pull request #1375 from karlwessel/patch-1 #2283

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	16m 18s
test (Downstream, 1)	10m 51s
test (GroebnerExt, 1)	6m 48s
test (SymPy, 1)	7m 33s
	41m 30s