CI

Merge pull request #1346 from AayushSabharwal/as/symbolic-type #2234

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	15m 40s
test (Downstream, 1)	11m 7s
test (GroebnerExt, 1)	6m 51s
test (SymPy, 1)	7m 25s
	41m 3s