CI

Merge pull request #1273 from AayushSabharwal/as/derivatives #2126

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	13m 10s
test (Downstream, 1)	6m 42s
test (GroebnerExt, 1)	4m 18s
	24m 10s