Update Jenkinsfile

2025-03-26 13:24:26 +01:00 · 2025-03-26 13:24:26 +01:00 · da9fbc1fdb
parent c568a555a2
commit da9fbc1fdb
1 changed files with 1 additions and 0 deletions
--- a/Jenkins/Jenkinsfile-deb-pkg
+++ b/Jenkins/Jenkinsfile-deb-pkg
@ -70,6 +70,7 @@ pipeline {
            agent { label 'debian-repo' }
            steps {
                sh "aptly repo add opengnsys-devel /var/tmp/opengnsys/debian-repo/oggui/*.deb"
+                sh "rm -f /var/tmp/opengnsys/debian-repo/oggui/*.deb"
            }
        }
    }