set coqdoc username

5 jobs for ci/coqdoc in 2 minutes and 13 seconds
Status Job ID Name Coverage
  Build
passed build-coq.8.6.1 #7707
fp-timing

00:02:11

failed build-coq.8.7.1 #7706
fp-timing

00:01:52

 
  Build More
skipped build-coq.8.6.0 #7710
fp-timing
skipped build-coq.8.7.0 #7709
fp-timing
skipped build-coq.8.7.dev #7708
fp-timing
 
Name Stage Failure
failed
build-coq.8.7.1 Build There is an unknown failure, please try again
make[1]: Entering directory '/builds/robbertkrebbers/coq-stdpp'
COQDOC -d html
make[1]: Leaving directory '/builds/robbertkrebbers/coq-stdpp'
+ rsync -a -e /builds/robbertkrebbers/coq-stdpp/build/ssh html/ coqdoc@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.
rsync: mkdir "/www/sws-websites/plv.mpi-sws.org/iris/stdpp-doc/www/sws-websites/plv.mpi-sws.org/iris/stdpp-doc" failed: No such file or directory (2)
rsync error: error in file IO (code 11) at main.c(674) [Receiver=3.1.1]
ERROR: Job failed: exit code 1