It seems the CI post-merge build failed after merging the recent PR (this is the commit). CircleCI build page shows that it seems that the ssh key that the CI job uses to check out the repository might be either expired or be somehow out of date? This is the error:
Cloning git repository
Cloning into '.'...
Warning: Permanently added the ECDSA host key for IP address '140.82.112.3' to the list of known hosts.
git@github.com: Permission denied (publickey).
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
exit status 128
I guess that's something the maintainers would have to address by updating the ssh key on CircleCI side?
It seems the CI post-merge build failed after merging the recent PR (this is the commit). CircleCI build page shows that it seems that the ssh key that the CI job uses to check out the repository might be either expired or be somehow out of date? This is the error:
I guess that's something the maintainers would have to address by updating the ssh key on CircleCI side?