Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Examples as tests to Travis build #39

Open
clayrat opened this issue May 21, 2020 · 1 comment
Open

Add Examples as tests to Travis build #39

clayrat opened this issue May 21, 2020 · 1 comment
Labels
travis

Comments

@clayrat
Copy link
Collaborator

clayrat commented May 21, 2020

No description provided.

@clayrat clayrat added the travis label May 21, 2020
@gallais
Copy link
Owner

gallais commented May 21, 2020

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).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
travis
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@clayrat @gallais