P0: CI pipeline (GitHub Actions: typecheck/lint/build)
Imported from GitHub issue El-SaMa/oma#5 by @El-SaMa.
Add CI that runs install, typecheck, lint, and build on PRs.
Done when: CI is green on a test PR.
Imported from GitHub issue El-SaMa/oma#5 by @El-SaMa.
Add CI that runs install, typecheck, lint, and build on PRs.
Done when: CI is green on a test PR.