Turn Groebner.jl into an extension #1550

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	17m 3s
test (Downstream, 1)	6m 48s
test (GroebnerExt, 1)	3m 21s
	27m 12s