Use stack in ci - Githubissues

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 abailly closed 6 years ago

abailly commented 6 years ago

Simplifies .travis.yml with the use of stack and caching of dependencies.

david-christiansen commented 6 years ago

Seeing this green check mark makes me feel good :-) Thanks!

abailly commented 6 years ago

@david-christiansen If you are ok with my comments, I will let you merge and will work towards addressing those issues.

abailly commented 6 years ago

Fix #468

david-christiansen commented 6 years ago

I'm busy moving this week and have basically no bandwidth of the brain. Please use your best judgement and merge if you feel it's time.

Thanks!