GitHub Actions workflow included with every keel project. Typecheck, lint, and test on every push.
Full documentation available at keel-docs.md (downloadable Markdown for AI agents).