This repository was archived by the owner on Dec 18, 2020. It is now read-only.
File tree Expand file tree Collapse file tree 2 files changed +12
-11
lines changed Expand file tree Collapse file tree 2 files changed +12
-11
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 :
@@ -11,14 +11,13 @@ install:
1111 - chmod a+x $HOME/purescript
1212 - npm install -g bower
1313 - npm install
14- - bower install
1514script :
16- - npm test
15+ - bower install --production
16+ - npm run -s build
17+ - bower install
18+ - npm -s test
1719after_success :
1820- >-
1921 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}"
22+ echo $GITHUB_TOKEN | pulp login &&
23+ 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" : " jshint src && jscs src && pulp build"
5+ "build" : " jshint src && jscs src && pulp build --censor-lib --strict" ,
6+ "test" : " pulp test"
67 },
78 "devDependencies" : {
89 "jscs" : " ^2.8.0" ,
910 "jshint" : " ^2.9.1" ,
10- "pulp" : " ^8.1.0" ,
11+ "pulp" : " ^8.2.0" ,
12+ "purescript-psa" : " ^0.3.8" ,
1113 "rimraf" : " ^2.5.0"
1214 }
1315}
You can’t perform that action at this time.
0 commit comments