CI

Merge pull request #1121 from nsajko/p #1719

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	16m 30s
test (Downstream, 1)	7m 16s
test (GroebnerExt, 1)	3m 36s
	27m 22s