This repository was archived by the owner on Oct 4, 2020. It is now read-only.
File tree 3 files changed +8
-11
lines changed
3 files changed +8
-11
lines changed Original file line number Diff line number Diff line change 1
1
language : node_js
2
- sudo : false
3
- node_js :
4
- - 5
2
+ dist : trusty
3
+ sudo : required
4
+ node_js : 6
5
5
env :
6
6
- PATH=$HOME/purescript:$PATH
7
7
install :
@@ -11,13 +11,11 @@ install:
11
11
- chmod a+x $HOME/purescript
12
12
- npm install -g bower
13
13
- npm install
14
+ - bower install
14
15
script :
15
16
- npm run build
16
17
after_success :
17
18
- >-
18
19
test $TRAVIS_TAG &&
19
- psc-publish > .pursuit.json &&
20
- curl -X POST http://pursuit.purescript.org/packages \
21
- -d @.pursuit.json \
22
- -H 'Accept: application/json' \
23
- -H "Authorization: token ${GITHUB_TOKEN}"
20
+ echo $GITHUB_TOKEN | pulp login &&
21
+ echo y | pulp publish --no-push
Original file line number Diff line number Diff line change 17
17
" package.json"
18
18
],
19
19
"dependencies" : {
20
- "purescript-prelude" : " ^1.0.0-rc.1 "
20
+ "purescript-prelude" : " ^1.0.0-rc.4 "
21
21
}
22
22
}
Original file line number Diff line number Diff line change 1
1
{
2
2
"private" : true ,
3
3
"scripts" : {
4
- "postinstall" : " pulp dep install" ,
5
4
"clean" : " rimraf output && rimraf .pulp-cache" ,
6
5
"build" : " jshint src && jscs src && pulp build"
7
6
},
8
7
"devDependencies" : {
9
8
"jscs" : " ^2.8.0" ,
10
9
"jshint" : " ^2.9.1" ,
11
- "pulp" : " ^8.0 .0" ,
10
+ "pulp" : " ^8.2 .0" ,
12
11
"rimraf" : " ^2.5.0"
13
12
}
14
13
}
You can’t perform that action at this time.
0 commit comments