CI

Merge pull request #1357 from n0rbed/bug_fixes #2273

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	16m 2s
test (Downstream, 1)	11m 4s
test (GroebnerExt, 1)	7m 14s
test (SymPy, 1)	8m 3s
	42m 23s