CI required for GitHub.