CI

Merge pull request #1353 from karlwessel/master #2301

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	15m 2s
test (Downstream, 1)	10m 36s
test (GroebnerExt, 1)	6m 22s
test (SymPy, 1)	7m 6s
	39m 6s