Back to pull request #1349

fix: lower default `maxiters` for `fixpoint_sub` #2240

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	16m 14s
test (Downstream, 1)	11m 18s
test (GroebnerExt, 1)	7m 0s
test (SymPy, 1)	7m 56s
	42m 28s