Travis still doesn't wait
uwap opened this issue · comments
As of #6 we had a fix ensuring travis gets output all the time so it doesn't terminate after 20 Minutes. Though after merging the PR at seems that it still terminates after 20 Minutes making it really lucky if idris itself compiles. At least #6 does caching allowing us to use the same binary (for idris) as long as we have the latest version cached. Some ways we discussed to solve this was providing a PPA with idris nightly or idris releases. Another way would be to manually download a precompiled idris from one of our servers. There is still no way that seems to work completely without either having luck or pulling a binary version of idris in.