hir-130: add GitHub Actions CI (typecheck + lint + test:int)#23

pypesdev merged 1 commit intopypesdev:mainpypesdev/coldflow:mainfrom

jaredzwick:hir-130/github-actions-cijaredzwick/coldflow:hir-130/github-actions-ciCopy head branch name to clipboard