CI

Merge pull request #1321 from AayushSabharwal/as/fixpoint-sub-limit #2196

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	15m 46s
test (Downstream, 1)	11m 10s
test (GroebnerExt, 1)	6m 38s
test (SymPy, 1)	7m 29s
	41m 3s