File tree Expand file tree Collapse file tree 2 files changed +7
-3
lines changed Expand file tree Collapse file tree 2 files changed +7
-3
lines changed Original file line number Diff line number Diff line change 11language : node_js
22dist : trusty
33sudo : required
4- node_js : 8
4+ node_js : stable
5+ env :
6+ - PATH=$HOME/purescript:$PATH
57install :
8+ - TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p')
9+ - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
10+ - tar -xvf $HOME/purescript.tar.gz -C $HOME/
11+ - chmod a+x $HOME/purescript
612 - npm install -g bower
713 - npm install
814script :
915 - bower install --production
1016 - npm run -s build
11- - bower install
1217after_success :
1318- >-
1419 test $TRAVIS_TAG &&
Original file line number Diff line number Diff line change 88 "eslint" : " ^3.17.1" ,
99 "pulp" : " ^11.0.0" ,
1010 "purescript-psa" : " ^0.5.0" ,
11- "purescript" : " ^0.12.0" ,
1211 "rimraf" : " ^2.5.4"
1312 }
1413}
You can’t perform that action at this time.
0 commit comments