2018-01-16 04:35:48 +00:00
|
|
|
language: node_js
|
|
|
|
|
node_js:
|
|
|
|
|
- "stable"
|
|
|
|
|
sudo: false
|
|
|
|
|
install:
|
2020-04-18 02:04:32 +00:00
|
|
|
- npm install -g purescript pulp spago
|
2018-01-16 04:35:48 +00:00
|
|
|
- npm install
|
2020-04-18 02:04:32 +00:00
|
|
|
- spago install
|
2018-01-16 04:35:48 +00:00
|
|
|
after_success:
|
|
|
|
|
- >-
|
|
|
|
|
test $TRAVIS_TAG &&
|
|
|
|
|
echo $GITHUB_TOKEN | pulp login &&
|
|
|
|
|
echo y | pulp publish --no-push
|
|
|
|
|
|
