This repository was archived by the owner on Nov 26, 2020. It is now read-only.
File tree 5 files changed +23
-91
lines changed
5 files changed +23
-91
lines changed Original file line number Diff line number Diff line change 1
1
language : node_js
2
- sudo : false
3
- node_js :
4
- - 0.10
2
+ sudo : required
3
+ dist : trusty
4
+ node_js : 5
5
5
env :
6
6
- PATH=$HOME/purescript:$PATH
7
7
install :
8
8
- 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')
9
9
- wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
10
10
- tar -xvf $HOME/purescript.tar.gz -C $HOME/
11
11
- chmod a+x $HOME/purescript
12
+ - npm install -g bower
12
13
- npm install
14
+ - bower install
13
15
script :
14
16
- 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.
11
11
bower install purescript-proxy
12
12
```
13
13
14
- ## Module documentation
14
+ ## Documentation
15
15
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 2
2
"name" : " purescript-proxy" ,
3
3
"homepage" : " https://github.com/purescript/purescript-proxy" ,
4
4
"description" : " Value proxy for type inputs" ,
5
- "keywords" : [
6
- " purescript"
7
- ],
8
5
"license" : " MIT" ,
6
+ "repository" : {
7
+ "type" : " git" ,
8
+ "url" : " git://github.com/purescript/purescript-proxy.git"
9
+ },
9
10
"ignore" : [
10
11
" **/.*" ,
11
12
" bower_components" ,
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 1
1
{
2
2
"private" : true ,
3
3
"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"
6
6
},
7
7
"devDependencies" : {
8
- "pulp" : " ^4.0.2 " ,
9
- "rimraf" : " ^2.4.1 "
8
+ "pulp" : " ^8.1.0 " ,
9
+ "rimraf" : " ^2.5.0 "
10
10
}
11
11
}
You can’t perform that action at this time.
0 commit comments