File tree 3 files changed +7
-7
lines changed
3 files changed +7
-7
lines changed Original file line number Diff line number Diff line change 1
1
language : node_js
2
2
dist : trusty
3
3
sudo : required
4
- node_js : 6
4
+ node_js : stable
5
5
env :
6
6
- PATH=$HOME/purescript:$PATH
7
7
install :
Original file line number Diff line number Diff line change 17
17
" package.json"
18
18
],
19
19
"dependencies" : {
20
- "purescript-control" : " ^2 .0.0" ,
21
- "purescript-newtype" : " ^1 .0.0"
20
+ "purescript-control" : " ^3 .0.0" ,
21
+ "purescript-newtype" : " ^2 .0.0"
22
22
}
23
23
}
Original file line number Diff line number Diff line change 2
2
"private" : true ,
3
3
"scripts" : {
4
4
"clean" : " rimraf output && rimraf .pulp-cache" ,
5
- "build" : " pulp build --censor-lib --strict"
5
+ "build" : " pulp build -- -- censor-lib --strict"
6
6
},
7
7
"devDependencies" : {
8
- "pulp" : " ^9 .0.1 " ,
9
- "purescript-psa" : " ^0.3.9 " ,
10
- "rimraf" : " ^2.5.0 "
8
+ "pulp" : " ^10 .0.4 " ,
9
+ "purescript-psa" : " ^0.5.0-rc.1 " ,
10
+ "rimraf" : " ^2.6.1 "
11
11
}
12
12
}
You can’t perform that action at this time.
0 commit comments