This repository was archived by the owner on Nov 26, 2020. It is now read-only.
File tree Expand file tree Collapse file tree 5 files changed +23
-91
lines changed Expand file tree Collapse file tree 5 files changed +23
-91
lines changed Original file line number Diff line number Diff line change 11language : node_js
2- sudo : false
3- node_js :
4- - 0.10
2+ sudo : required
3+ dist : trusty
4+ node_js : 5
55env :
66 - PATH=$HOME/purescript:$PATH
77install :
88 - 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')
99 - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
1010 - tar -xvf $HOME/purescript.tar.gz -C $HOME/
1111 - chmod a+x $HOME/purescript
12+ - npm install -g bower
1213 - npm install
14+ - bower install
1315script :
1416 - npm run build
17+ after_success :
18+ - >-
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}"
Original file line number Diff line number Diff line change @@ -11,6 +11,6 @@ Value proxy for type inputs.
1111bower install purescript-proxy
1212```
1313
14- ## Module documentation
14+ ## Documentation
1515
16- - [ Type.Proxy ] ( docs/Type/Proxy.md )
16+ Module documentation is [ published on Pursuit ] ( http://pursuit.purescript.org/packages/purescript-proxy ) .
Original file line number Diff line number Diff line change 22 "name" : " purescript-proxy" ,
33 "homepage" : " https://github.com/purescript/purescript-proxy" ,
44 "description" : " Value proxy for type inputs" ,
5- "keywords" : [
6- " purescript"
7- ],
85 "license" : " MIT" ,
6+ "repository" : {
7+ "type" : " git" ,
8+ "url" : " git://github.com/purescript/purescript-proxy.git"
9+ },
910 "ignore" : [
1011 " **/.*" ,
1112 " bower_components" ,
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 11{
22 "private" : true ,
33 "scripts" : {
4- "postinstall " : " pulp dep install " ,
5- "build" : " pulp build && rimraf docs && pulp docs "
4+ "clean " : " rimraf output && rimraf .pulp-cache " ,
5+ "build" : " pulp build"
66 },
77 "devDependencies" : {
8- "pulp" : " ^4.0.2 " ,
9- "rimraf" : " ^2.4.1 "
8+ "pulp" : " ^8.1.0 " ,
9+ "rimraf" : " ^2.5.0 "
1010 }
1111}
You can’t perform that action at this time.
0 commit comments