CI

Merge pull request #1074 from LilithHafner/lh/var-name-nfc #1629

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (Core, 1)	15m 56s
test (Downstream, 1)	7m 10s
test (GroebnerExt, 1)	3m 29s
	26m 35s