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
5
5
env :
6
6
- PATH=$HOME/purescript:$PATH
7
7
install :
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) )
9
9
- wget -O $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
@@ -17,7 +17,7 @@ script:
17
17
- bower install
18
18
- npm run -s test
19
19
after_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