sudo: false
language: python
python:
  - "3.5"
  # More versions later.

install:
  - pip install git+git://github.com/JukkaL/mypy

script:
  - mypy stdlib/3/
  - rm -rf 2_7; cp -R -L stdlib/2.7 2_7; rm 2_7/__builtin__.pyi ; mypy --py2 2_7/
  # That doesn't test everything, but it's a start.