CI

Merge pull request #1095 from AayushSabharwal/as/similarterm-arrayop #1679

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	17m 41s
test (Downstream, 1)	7m 8s
test (GroebnerExt, 1)	4m 2s
	28m 51s