sudo: false

language: node_js

node_js:
  - '12'

branches:
  only:
    - master
    - travis-ci

install:
  - for dir in mingle.*; do (cd $dir && npm install --no-package-lock --no-save); done
  - npm install --no-package-lock --no-save
  - npm install -g nyc mocha
  - git checkout .

script:
  - nyc npm test

sudo: false

language: node_js

node_js:
  - '12'

branches:
  only:
    - master
    - travis-ci

install:
  - for dir in mingle.*; do (cd $dir && npm install --no-package-lock --no-save); done
  - npm install --no-package-lock --no-save
  - npm install -g nyc mocha prove
  - git checkout .

script:
  - nyc npm test

Install Proof runner at Travis CI.
Install Proof runner at Travis CI.

See #196.
