CI

Merge pull request #1026 from TorkelE/tests_for_rewrite_hellper #1677

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	15m 40s
test (Downstream, 1)	7m 3s
test (GroebnerExt, 1)	3m 26s
	26m 9s