CI

Merge pull request #1055 from sathvikbhagavan/patch-1 #1584

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	17m 21s
test (Downstream, 1)	6m 49s
test (GroebnerExt, 1)	3m 14s
	27m 24s