This repository was archived by the owner on Oct 4, 2020. It is now read-only.
File tree Expand file tree Collapse file tree 3 files changed +8
-11
lines changed
Expand file tree Collapse file tree 3 files changed +8
-11
lines changed Original file line number Diff line number Diff line change 11language : node_js
2- sudo : false
3- node_js :
4- - 5
2+ dist : trusty
3+ sudo : required
4+ node_js : 6
55env :
66 - PATH=$HOME/purescript:$PATH
77install :
@@ -11,13 +11,11 @@ install:
1111 - chmod a+x $HOME/purescript
1212 - npm install -g bower
1313 - npm install
14+ - bower install
1415script :
1516 - npm run build
1617after_success :
1718- >-
1819 test $TRAVIS_TAG &&
19- psc-publish > .pursuit.json &&
20- curl -X POST http://pursuit.purescript.org/packages \
21- -d @.pursuit.json \
22- -H 'Accept: application/json' \
23- -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 1717 " package.json"
1818 ],
1919 "dependencies" : {
20- "purescript-prelude" : " ^1.0.0-rc.1 "
20+ "purescript-prelude" : " ^1.0.0-rc.4 "
2121 }
2222}
Original file line number Diff line number Diff line change 11{
22 "private" : true ,
33 "scripts" : {
4- "postinstall" : " pulp dep install" ,
54 "clean" : " rimraf output && rimraf .pulp-cache" ,
65 "build" : " jshint src && jscs src && pulp build"
76 },
87 "devDependencies" : {
98 "jscs" : " ^2.8.0" ,
109 "jshint" : " ^2.9.1" ,
11- "pulp" : " ^8.0 .0" ,
10+ "pulp" : " ^8.2 .0" ,
1211 "rimraf" : " ^2.5.0"
1312 }
1413}
You can’t perform that action at this time.
0 commit comments