[Agda-dev] travis fails for shelltestrunner installation on 7.8

[Andreas Abel]

This build

   https://travis-ci.org/agda/agda/jobs/287287542

failed in a very late stage (testing the standalone size solver program):

$ if [[ $TEST = "MAIN" ]]; then cabal install shelltestrunner && 
make test-size-solver; fi
Resolving dependencies...
Downloading Diff-0.3.2...
Configuring Diff-0.3.2...
/home/travis/.travis/job_stages: line 57: 10416 Segmentation fault 
(core dumped) cabal install shelltestrunner

This is an inessential failure, but has anyone seen this before or is it 
a random glitch?

Best,
Anreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/