ci: add GitHub Actions workflow for lint, typecheck, and unit tests#90
Open
iminierai-aig wants to merge 1 commit intogrp06:mainfrom
Open
ci: add GitHub Actions workflow for lint, typecheck, and unit tests#90iminierai-aig wants to merge 1 commit intogrp06:mainfrom
iminierai-aig wants to merge 1 commit intogrp06:mainfrom
