File tree 2 files changed +8
-10
lines changed
2 files changed +8
-10
lines changed Original file line number Diff line number Diff line change 1
1
language : node_js
2
- sudo : required
3
2
dist : trusty
4
- node_js : 5
3
+ sudo : required
4
+ node_js : 6
5
5
env :
6
6
- PATH=$HOME/purescript:$PATH
7
7
install :
@@ -13,12 +13,9 @@ install:
13
13
- npm install
14
14
- bower install
15
15
script :
16
- - npm run build
16
+ - npm run -s build
17
17
after_success :
18
18
- >-
19
19
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 2
2
"private" : true ,
3
3
"scripts" : {
4
4
"clean" : " rimraf output && rimraf .pulp-cache" ,
5
- "build" : " pulp build"
5
+ "build" : " pulp build --censor-lib --strict "
6
6
},
7
7
"devDependencies" : {
8
- "pulp" : " ^8.1.0" ,
8
+ "pulp" : " ^8.2.0" ,
9
+ "purescript-psa" : " ^0.3.8" ,
9
10
"rimraf" : " ^2.5.0"
10
11
}
11
12
}
You can’t perform that action at this time.
0 commit comments