Suggested heap size for CI

Question

Suggested heap size for CI

Opened this issue a 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?

Answer 1 · 2023-11-15T20:10:11.000Z

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.