Bump CI purescript version

This commit is contained in:
Oskar Wickström 2019-09-05 07:03:08 +02:00
parent feff91c1a4
commit 4f5ea639e5

View File

@ -1,11 +1,11 @@
language: node_js
sudo: false
node_js:
- "5.5"
- 10
env:
- PATH=$HOME/purescript:$PATH
install:
- wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/v0.12.0/linux64.tar.gz
- wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/v0.13.0/linux64.tar.gz
- tar -xvf $HOME/purescript.tar.gz -C $HOME/
- chmod a+x $HOME/purescript
- npm install -g bower pulp mocha