Merge pull request #1264 from n0rbed/trig_issue #2100

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	12m 0s
test (Downstream, 1)	6m 48s
test (GroebnerExt, 1)	4m 26s
	23m 14s