Jenkins delete old deb files

2025-03-26 12:03:59 +01:00 · 2025-03-26 12:03:59 +01:00 · b7f7915d18
parent 1c7dbcbcd9
commit b7f7915d18
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/ogboot/*.deb"
+                sh "rm -rf /var/tmp/opengnsys/debian-repo/ogboot/*"
            }
        }
    }