File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -5,7 +5,7 @@ node_js: stable
55env :
66 - PATH=$HOME/purescript:$PATH
77install :
8- - TAG=$(curl --silent " https://api. github.com/repos/ purescript/purescript/releases/latest" | grep -Po '"tag_name" : " \K .*?(?= " )' )
8+ - TAG=$(basename $( curl -Ls -o /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest) )
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
@@ -17,7 +17,7 @@ script:
1717 - bower install
1818 - npm run -s test
1919after_success :
20- - >-
21- test $TRAVIS_TAG &&
22- echo $GITHUB_TOKEN | pulp login &&
23- echo y | pulp publish --no-push
20+ - >-
21+ test $TRAVIS_TAG &&
22+ echo $GITHUB_TOKEN | pulp login &&
23+ echo y | pulp publish --no-push
You can’t perform that action at this time.
0 commit comments