Mirrors .gitlab-ci.yml's verify stage (typecheck/lint/translations/build)
on GitHub Actions, since GitHub is being reactivated as a working build
path while gitlab.vnc.biz's own registry and runner are blocked (see
docs memory: gitlab-registry-dependency-proxy). Runs on PRs into main or
dev; wired as main's required status check.
