File tree Expand file tree Collapse file tree 2 files changed +22
-1
lines changed Expand file tree Collapse file tree 2 files changed +22
-1
lines changed Original file line number Diff line number Diff line change 1+ language : node_js
2+ dist : trusty
3+ sudo : required
4+ node_js : stable
5+ env :
6+ - PATH=$HOME/purescript:$PATH
7+ install :
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+ - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
10+ - tar -xvf $HOME/purescript.tar.gz -C $HOME/
11+ - chmod a+x $HOME/purescript
12+ - npm install -g bower
13+ - npm install
14+ script :
15+ - bower install
16+ - npm run -s build
17+ after_success :
18+ - >-
19+ test $TRAVIS_TAG &&
20+ echo $GITHUB_TOKEN | pulp login &&
21+ echo y | pulp publish --no-push
Original file line number Diff line number Diff line change 2121 "dependencies" : {
2222 "purescript-prelude" : " ^4.1.0" ,
2323 "purescript-effect" : " ^2.0.1" ,
24- "purescript-web-dom" : " ^3.0.0 " ,
24+ "purescript-web-dom" : " 3 - 4 " ,
2525 "purescript-partial" : " ^2.0.1"
2626 },
2727 "devDependencies" : {
You can’t perform that action at this time.
0 commit comments