ci: refs #7643 Reprepro SSH credentials fix

2024-07-05 13:02:48 +02:00 · 2024-07-05 13:02:48 +02:00 · ab88575c72
parent 5cf6ef5b1c
commit ab88575c72
1 changed files with 7 additions and 6 deletions
--- a/13
+++ b/13
@ -61,12 +61,13 @@ pipeline {
                    usernameVariable: 'user',
                    keyFileVariable: 'identityFile'
                )]) {
-                    remote.user = user
-                    remote.identityFile = identityFile
-                    remote.name = 'reprepro'
-                    remote.host = 'reprepro.reprepro'
-                    remote.allowAnyHosts = true
-
+                    script {
+                        remote.user = user
+                        remote.identityFile = identityFile
+                        remote.name = 'reprepro'
+                        remote.host = 'reprepro.reprepro'
+                        remote.allowAnyHosts = true
+                    }
                    sshPut([
                        remote: remote,
                        from: "$debFile",