idris-lang/Idris-dev — pull request #682 by tomprince (2013-11-27 21:16:17+00:00)
Title: Distribute travis builds.

This should speed up the build, by running tests in parallel.