GITHUB_CHECK_OK: no newer published release
