CI

In Groebner extension, partially fix ordering #2202

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	15m 38s
test (Downstream, 1)	10m 22s
test (GroebnerExt, 1)	6m 56s
test (SymPy, 1)	7m 21s
	40m 17s