ci: map known_hosts to container

2024-04-02 16:28:38 +02:00 · 2024-04-02 16:28:38 +02:00 · cb54858412
parent 36687e24af
commit cb54858412
1 changed files with 1 additions and 0 deletions
--- 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'
    }
  }