File tree Expand file tree Collapse file tree 2 files changed +8
-10
lines changed Expand file tree Collapse file tree 2 files changed +8
-10
lines changed Original file line number Diff line number Diff line change 11language : node_js
2- sudo : required
32dist : trusty
4- node_js : 5
3+ sudo : required
4+ node_js : 6
55env :
66 - PATH=$HOME/purescript:$PATH
77install :
@@ -13,12 +13,9 @@ install:
1313 - npm install
1414 - bower install
1515script :
16- - npm run build
16+ - npm run -s build
1717after_success :
1818- >-
1919 test $TRAVIS_TAG &&
20- psc-publish > .pursuit.json &&
21- curl -X POST http://pursuit.purescript.org/packages \
22- -d @.pursuit.json \
23- -H 'Accept: application/json' \
24- -H "Authorization: token ${GITHUB_TOKEN}"
20+ echo $GITHUB_TOKEN | pulp login &&
21+ echo y | pulp publish --no-push
Original file line number Diff line number Diff line change 22 "private" : true ,
33 "scripts" : {
44 "clean" : " rimraf output && rimraf .pulp-cache" ,
5- "build" : " pulp build"
5+ "build" : " pulp build --censor-lib --strict "
66 },
77 "devDependencies" : {
8- "pulp" : " ^8.1.0" ,
8+ "pulp" : " ^8.2.0" ,
9+ "purescript-psa" : " ^0.3.8" ,
910 "rimraf" : " ^2.5.0"
1011 }
1112}
You can’t perform that action at this time.
0 commit comments