CI

feat: add iteration limit for `fixpoint_sub` #2195

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	16m 22s
test (Downstream, 1)	11m 56s
test (GroebnerExt, 1)	6m 58s
test (SymPy, 1)	7m 36s
	42m 52s