cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

Suggested heap size for CI

Open felixwellen opened this issue 1 year ago • 1 comments

Does anyone know why we set a suggested heap size in the makefile? And why it seems to set the maximum heap size as well? Shouldn't we just not set that?

felixwellen avatar Oct 30 '23 08:10 felixwellen

I think we should just not set it - the library fails with the current release candidate for agda 2.6.4.1 (with a heap-exhausted error) and checks if the option for the heap size is just removed.

felixwellen avatar Nov 15 '23 20:11 felixwellen