Verified Commit 9a85a5b1 authored by Vladimír Štill's avatar Vladimír Štill
Browse files

CI: Install mypy

parent b966e26f
Loading
Loading
Loading
Loading
Loading
+4 −0
Original line number Diff line number Diff line
image: python:3.7

before_script:
    - pip3 install --user mypy
    - export "PATH=$HOME/.local/bin:$PATH"

check:
  script:
      - make all