File tree Expand file tree Collapse file tree 2 files changed +13
-9
lines changed Expand file tree Collapse file tree 2 files changed +13
-9
lines changed Original file line number Diff line number Diff line change 1+
12language : node_js
2- dist : trusty
33sudo : required
4- node_js : stable
4+ dist : trusty
5+ node_js : 8
6+ env :
7+ - PATH=$HOME/purescript:$PATH
58install :
9+ - 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')
10+ - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
11+ - tar -xvf $HOME/purescript.tar.gz -C $HOME/
12+ - chmod a+x $HOME/purescript
613 - npm install -g bower
714 - npm install
815script :
9- - bower install --production
10- - npm run -s build
1116 - bower install
12- - npm -s test
17+ - pulp test
1318after_success :
1419- >-
1520 test $TRAVIS_TAG &&
1621 echo $GITHUB_TOKEN | pulp login &&
17- echo y | pulp publish --no-push
22+ echo y | pulp publish --no-push
Original file line number Diff line number Diff line change 66 "test" : " pulp test"
77 },
88 "devDependencies" : {
9- "pulp" : " ^12.0.1 " ,
9+ "pulp" : " ^12.2.0 " ,
1010 "purescript-psa" : " ^0.6.0" ,
11- "purescript" : " ^0.11.1" ,
1211 "rimraf" : " ^2.6.1"
1312 }
14- }
13+ }
You can’t perform that action at this time.
0 commit comments