File tree Expand file tree Collapse file tree 2 files changed +10
-10
lines changed Expand file tree Collapse file tree 2 files changed +10
-10
lines changed Original file line number Diff line number Diff line change @@ -5,17 +5,17 @@ node_js: stable
5
5
env :
6
6
- PATH=$HOME/purescript:$PATH
7
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
8
+ - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest) )
9
+ - curl --location --output $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
12
- npm install -g bower
13
13
- npm install
14
- - bower install
14
+ - bower install --production
15
15
script :
16
16
- npm run -s build
17
17
after_success :
18
- - >-
19
- test $TRAVIS_TAG &&
20
- echo $GITHUB_TOKEN | pulp login &&
21
- echo y | pulp publish --no-push
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 5
5
"build" : " pulp build -- --censor-lib --strict"
6
6
},
7
7
"devDependencies" : {
8
- "pulp" : " ^12.2 .0" ,
9
- "purescript-psa" : " ^0.6.0 " ,
10
- "rimraf" : " ^2.6 .2"
8
+ "pulp" : " ^14.0 .0" ,
9
+ "purescript-psa" : " ^0.7.3 " ,
10
+ "rimraf" : " ^3.0 .2"
11
11
}
12
12
}
You can’t perform that action at this time.
0 commit comments