CI

Merge pull request #1403 from hersle/fix_fixpoint_sub #2327

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	17m 44s
test (Downstream, 1)	10m 36s
test (GroebnerExt, 1)	6m 43s
test (SymPy, 1)	6m 47s
	41m 50s