agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
446 stars 136 forks source link

CI: set heap size to 6G #1073

Closed felixwellen closed 9 months ago

felixwellen commented 9 months ago

There was no maximum set as far as I can tell. Now the suggested heap size is 6G instead of 3G - not clear to me why that should help, but who knows whats going on.

felixwellen commented 9 months ago

Ok, so the first commit just decreased the maximum heap size and it worked. The last commit increased the suggested heap size - I also don't see why that should fix the problem. Maybe it is just randomly working?

felixwellen commented 9 months ago

Anyway - I'll just merge it..

felixwellen commented 9 months ago

Anyway - I'll just merge it..