sudo: false

language: node_js

node_js:
  - '12'

branches:
  only:
    - master
    - travis-ci

install:
  - npm install --no-package-lock --no-save
  - npm install -g nyc mocha

script:
  - nyc npm test

sudo: false

language: node_js

node_js:
  - '12'

branches:
  only:
    - master
    - travis-ci

install:
  - npm install --no-package-lock --no-save
  - npm install -g nyc proof

script:
  - nyc npm test

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

See #436.
