From 0d2ac8f9fb72625eecb8c536dc1e14ea87166d4b Mon Sep 17 00:00:00 2001
From: Juan Ferrer Toribio <juan@verdnatura.es>
Date: Fri, 5 Jul 2024 10:07:37 +0200
Subject: [PATCH] ci: refs #7643 Debuild debug

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 80ec6b04..dac8052b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -57,6 +57,7 @@ pipeline {
                     remote.identityFile = '/home/jenkins/.ssh/id_ed25519'
                     remote.allowAnyHosts = true
                 }
+                sh 'ls output'
                 sshPut([
                     remote: remote,
                     from: "$debFile",