Open clayrat opened 4 years ago
I did not perform any serious measurements but looking at htop while checking Examples.JSON, I was using around 9Go. Not sure travis can handle that. (Hopefully Idris2 will be better once we figure out was the extremely puzzling error messages are).
Examples.JSON
I did not perform any serious measurements but looking at htop while checking
Examples.JSON
, I was using around 9Go. Not sure travis can handle that. (Hopefully Idris2 will be better once we figure out was the extremely puzzling error messages are).