idris-lang/Idris-dev — pull request #1752 by enolan (2014-11-28 00:56:43+00:00)
Title: Don't build Idris twice in CI

This is a pretty decent speedup. :) We need cabal register so idris-llvm
can find the Idris library to link against. Otherwise cabal will
helpfully resolve the dependency by downloading Idris from Hackage for
us.