File tree Expand file tree Collapse file tree 3 files changed +4
-3
lines changed Expand file tree Collapse file tree 3 files changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -5,7 +5,8 @@ node_js: stable
5
5
env :
6
6
- PATH=$HOME/purescript:$PATH
7
7
install :
8
- - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest))
8
+ - TAG=v0.14.0-rc2
9
+ # - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest))
9
10
- curl --location --output $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
10
11
- tar -xvf $HOME/purescript.tar.gz -C $HOME/
11
12
- chmod a+x $HOME/purescript
Original file line number Diff line number Diff line change 16
16
" package.json"
17
17
],
18
18
"dependencies" : {
19
- "purescript-prelude" : " ^4.0.0 "
19
+ "purescript-prelude" : " master "
20
20
}
21
21
}
Original file line number Diff line number Diff line change 7
7
"devDependencies" : {
8
8
"eslint" : " ^4.19.1" ,
9
9
"pulp" : " ^15.0.0" ,
10
- "purescript-psa" : " ^0.6 .0" ,
10
+ "purescript-psa" : " ^0.8 .0" ,
11
11
"rimraf" : " ^2.6.2"
12
12
}
13
13
}
You can’t perform that action at this time.
0 commit comments