ci: added typecheck workflow#197

zaniluca wants to merge 4 commits intomasterzaniluca/ping-4-gitlab:masterfrom

added-typecheck-workflowzaniluca/ping-4-gitlab:added-typecheck-workflowCopy head branch name to clipboard