File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ language : node_js
2+ sudo : required
3+ node_js : stable
4+ env :
5+ - PATH=$HOME/purescript:$PATH
6+ install :
7+ - 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')
8+ - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
9+ - tar -xvf $HOME/purescript.tar.gz -C $HOME/
10+ - chmod a+x $HOME/purescript
11+ - npm install -g bower
12+ - npm install
13+ script :
14+ - bower install --production
15+ - npm run -s build
16+ - bower install
17+ - npm -s test
18+ after_success :
19+ - >-
20+ test $TRAVIS_TAG &&
21+ echo $GITHUB_TOKEN | pulp login &&
22+ echo y | pulp publish --no-push
Original file line number Diff line number Diff line change 1111 },
1212 "dependencies" : {
1313 "purescript-exists" : " ^4.0.0" ,
14- "purescript-const" : " ^4.0.0"
14+ "purescript-const" : " ^4.0.0" ,
15+ "purescript-lists" : " ^5.0.0" ,
16+ "purescript-gen" : " ^2.0.0"
1517 },
1618 "devDependencies" : {
1719 "purescript-either" : " ^4.0.0" ,
You can’t perform that action at this time.
0 commit comments