language: node_js
sudo: false
node_js:
  - 4
install:
  - npm install
script:
  - npm run build
  - npm run example-ace
  - npm run example-ajax
  - npm run example-components
  - npm run example-counter
  - npm run example-interpret
  - npm run example-intro
  - npm run example-multi-component
  - npm run example-todo
  - npm run example-keyboard-shortcuts
after_success:
- >-
  test $TRAVIS_TAG &&
  node_modules/.bin/psc-publish > .pursuit.json &&
  curl -X POST http://pursuit.purescript.org/packages \
    -d @.pursuit.json \
    -H 'Accept: application/json' \
    -H "Authorization: token ${GITHUB_TOKEN}"

language: node_js
dist: trusty
sudo: required
node_js:
  - 5
install:
  - npm install
script:
  - npm run build
  - npm run example-ace
  - npm run example-ajax
  - npm run example-components
  - npm run example-counter
  - npm run example-interpret
  - npm run example-intro
  - npm run example-multi-component
  - npm run example-todo
  - npm run example-keyboard-shortcuts
after_success:
- >-
  test $TRAVIS_TAG &&
  node_modules/.bin/psc-publish > .pursuit.json &&
  curl -X POST http://pursuit.purescript.org/packages \
    -d @.pursuit.json \
    -H 'Accept: application/json' \
    -H "Authorization: token ${GITHUB_TOKEN}"

Switch to more reliable Travis build (trusty)
Switch to more reliable Travis build (trusty)
