File tree Expand file tree Collapse file tree 14 files changed +169
-366
lines changed Expand file tree Collapse file tree 14 files changed +169
-366
lines changed Original file line number Diff line number Diff line change 44/bower_components /
55/node_modules /
66/output /
7- /tmp /
Original file line number Diff line number Diff line change 11language : node_js
22sudo : false
33node_js :
4- - 0.10
4+ - 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
1314script :
1415 - npm run build
16+ after_success :
17+ - >-
18+ 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}"
Original file line number Diff line number Diff line change @@ -12,12 +12,6 @@ Optional values.
1212bower install purescript-maybe
1313```
1414
15- ## Module documentation
15+ ## Documentation
1616
17- - [ Data.Maybe] ( docs/Data/Maybe.md )
18- - [ Data.Maybe.Unsafe] ( docs/Data/Maybe/Unsafe.md )
19-
20- ### Maybe monoids
21-
22- - [ Data.Maybe.First] ( docs/Data/Maybe/First.md )
23- - [ Data.Maybe.Last] ( docs/Data/Maybe/Last.md )
17+ Module documentation is [ published on Pursuit] ( http://pursuit.purescript.org/packages/purescript-maybe ) .
Original file line number Diff line number Diff line change 22 "name" : " purescript-maybe" ,
33 "homepage" : " https://github.com/purescript/purescript-maybe" ,
44 "description" : " Optional values" ,
5- "keywords" : [
6- " purescript"
7- ],
85 "license" : " MIT" ,
96 "repository" : {
107 "type" : " git" ,
1714 " output" ,
1815 " test" ,
1916 " bower.json" ,
20- " gulpfile.js" ,
2117 " package.json"
2218 ],
2319 "dependencies" : {
24- "purescript-monoid" : " ^0.3 .0"
20+ "purescript-monoid" : " ^1.0 .0"
2521 }
2622}
Load Diff This file was deleted.
Load Diff This file was deleted.
Load Diff This file was deleted.
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 22 "private" : true ,
33 "scripts" : {
44 "postinstall" : " pulp dep install" ,
5- "build" : " pulp build && rimraf docs && pulp docs"
5+ "clean" : " rimraf output && rimraf .pulp-cache" ,
6+ "build" : " pulp build"
67 },
78 "devDependencies" : {
8- "pulp" : " ^4 .0.1 " ,
9- "rimraf" : " ^2.4.1 "
9+ "pulp" : " ^7 .0.0 " ,
10+ "rimraf" : " ^2.5.0 "
1011 }
1112}
You can’t perform that action at this time.
0 commit comments