diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 7fb6947..87680a2 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -3,6 +3,7 @@ pipeline {
     dockerfile {
       label 'linux'
       dir 'ci'
+      args '-v /home/jenkins/.ssh/known_hosts:/home/jenkins/.ssh/known_hosts:ro'
     }
   }