Verified Commit 19a7de51 authored by Vladimír Štill's avatar Vladimír Štill
Browse files

CI: Add unittests, run typecheck only manually for now, add dependencies

parent 6f1b6413

.gitlab-ci.yml

+10 −3
Original line number Diff line number Diff line 
image: python:3.7



before_script:

    - pip3 install --user mypy

    - pip3 install --user mypy pytest antlr4-python3-runtime

    - export "PATH=$HOME/.local/bin:$PATH"



check:

typecheck:

  script:

      - make all

      - make typecheck

  tags:

      - shared-fi

  when: manual  # TODO



unittest:

  script:

      - make unit

  tags:

      - shared-fi