File tree Expand file tree Collapse file tree 2 files changed +1
-6
lines changed Expand file tree Collapse file tree 2 files changed +1
-6
lines changed Original file line number Diff line number Diff line change @@ -2,13 +2,7 @@ language: node_js
2
2
dist : trusty
3
3
sudo : required
4
4
node_js : stable
5
- env :
6
- - PATH=$HOME/purescript:$PATH
7
5
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
6
- npm install -g bower
13
7
- npm install
14
8
script :
Original file line number Diff line number Diff line change 8
8
"eslint" : " ^6.0.1" ,
9
9
"pulp" : " ^13.0.0" ,
10
10
"purescript-psa" : " ^0.7.3" ,
11
+ "purescript" : " ^0.13.6" ,
11
12
"rimraf" : " ^2.6.2"
12
13
}
13
14
}
You can’t perform that action at this time.
0 commit comments