hir-130: add GitHub Actions CI (typecheck + lint + test:int)#23
Open
jaredzwick wants to merge 1 commit intopypesdev:mainfrom
Open
hir-130: add GitHub Actions CI (typecheck + lint + test:int)#23jaredzwick wants to merge 1 commit intopypesdev:mainfrom
jaredzwick wants to merge 1 commit intopypesdev:mainfrom
