CI

Merge pull request #1343 from AayushSabharwal/as/sub-called-var #2227

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	16m 7s
test (Downstream, 1)	10m 47s
test (GroebnerExt, 1)	6m 52s
test (SymPy, 1)	7m 55s
	41m 41s