From cb54858412a25e5fa67944327e07db70ae37deec Mon Sep 17 00:00:00 2001
From: Anton Iakimov <yakimant@gmail.com>
Date: Tue, 2 Apr 2024 16:28:38 +0200
Subject: [PATCH] ci: map known_hosts to container

---
 ci/Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

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'
     }
   }