Automated checks without device (typecheck, tests, build, compat).
Full CI suite (typecheck, build, tests, packaging, verify, compat) run on a release tag.