I may have misunderstood the function of add_ssh_keys — I suppose I need to then also make the SSH keys available within the Docker build context? How should I do this cleanly?
I’m not sure. This answer suggests I should be able to simply use the CircleCI add_ssh_keys directive, I think?