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

CI: Initialize CI & Make

parents

.gitignore

0 → 100644
+5 −0
Original line number Diff line number Diff line 
.mypy_cache

*.swp

*.swo

*~

__pycache__

.gitlab-ci.yml

0 → 100644
+7 −0
Original line number Diff line number Diff line 
image: python:3.7



check:

  script:

      - make all

  tags:

      - shared-fi

Makefile

0 → 100644
+14 −0
Original line number Diff line number Diff line 
PY = $(wildcard *.py)



-include local.make



MYPY ?= mypy



all : check



check : $(PY:%=%.mypy)



%.mypy : %

	$(MYPY) --check-untyped-defs --warn-redundant-casts --warn-unused-ignores --warn-return-any $<



.PHONY: %.mypy check all