Merge pull request #1367 from n0rbed/quick_fix #2272

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	16m 8s
test (Downstream, 1)	10m 55s
test (GroebnerExt, 1)	7m 21s
test (SymPy, 1)	8m 21s
	42m 45s