Update travis.yml for upstream changes

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

269 stars 71 forks source link

Closed david-christiansen closed 8 years ago

david-christiansen commented 8 years ago

Modify the CI script to work around some upstream changes.