CI

Merge pull request #1129 from AayushSabharwal/as/register-array-promo… #1728

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	18m 42s
test (Downstream, 1)	8m 42s
test (GroebnerExt, 1)	3m 48s
	31m 12s