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

CI: Add unittests, run typecheck only manually for now

parent 51019c58
Loading
Loading
Loading
Loading
Loading
+9 −2
Original line number Diff line number Diff line
@@ -4,8 +4,15 @@ before_script:
    - pip3 install --user mypy
    - 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