CI

fix: fix substitute, isequal for Arr #1663

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	16m 58s
test (Downstream, 1)	7m 2s
test (GroebnerExt, 1)	3m 45s
	27m 45s