CI

Merge pull request #1035 from sumiya11/bye-bye-groebner #1551

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	15m 57s
test (Downstream, 1)	6m 46s
test (GroebnerExt, 1)	3m 20s
	26m 3s