add missing ssh_host_keys

6 jobs for ci/coqdoc in 4 minutes (queued for 1 second)
Status Job ID Name Coverage
  Build
passed build-coq.8.6.1 #7701
fp-timing

00:02:10

failed build-coq.8.7.1 #7705
fp-timing

00:01:50

failed build-coq.8.7.1 #7700
fp-timing

00:01:56

 
  Build More
skipped build-coq.8.6.0 #7704
fp-timing
skipped build-coq.8.7.0 #7703
fp-timing
skipped build-coq.8.7.dev #7702
fp-timing
 
Name Stage Failure
failed
build-coq.8.7.1 Build There is an unknown failure, please try again
+ rsync -a -e /builds/robbertkrebbers/coq-stdpp/build/ssh html/ center.mpi-sws.org:/www/sws-websites/plv.mpi-sws.org/iris/stdpp-doc/
Could not create directory '/home/ci/.ssh'.
Warning: Permanently added the ED25519 host key for IP address '139.19.161.9' to the list of known hosts.
Permission denied, please try again.
Permission denied, please try again.
Permission denied (publickey,password).
rsync: connection unexpectedly closed (0 bytes received so far) [sender]
rsync error: unexplained error (code 255) at io.c(235) [sender=3.1.2]
ERROR: Job failed: exit code 1