Introduce the start of automatic type checking#710

Merged

mpryc merged 6 commits intodora-metrics:masterfrom KevinMGranger:automatic-type-checking

Nov 10, 2022

+57-3

Commits on Nov 8, 2022

add warning to make target, mark gh action as not quite ready yet, and ignore error in gh action
KevinMGranger
committed