Add ssh key host verification

.gitlab-ci.yml

@@ -22,6 +22,8 @@ publish-docs:
     - echo "$DOCS_SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add - > /dev/null
     - mkdir -p ~/.ssh
     - chmod 700 ~/.ssh
+    - ssh-keyscan perso.iiens.net >> ~/.ssh/known_hosts
+    - chmod 644 ~/.ssh/known_hosts
   script:
     - doxygen Doxyfile
     - tar czf docs.tgz -C docs/html .