Add Examples as tests to Travis build
clayrat opened this issue · 1 comments
clayrat commented
Add Examples as tests to Travis build
gallais commented
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).