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.