From b13746da2bb84a4f5acf5f23ff4aa6d3a698dd68 Mon Sep 17 00:00:00 2001 From: Giulia Naponiello Date: Mar 04 2020 16:50:00 +0000 Subject: Prune images before building the container This resolves issues with out of memory issues when building the container Signed-off-by: Giulia Naponiello --- diff --git a/Jenkinsfile b/Jenkinsfile index 6e3c7aa..a083b10 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -140,6 +140,7 @@ node('docker') { * the rules in PEP440. But Docker does not let us have + in the tag * name, so let's munge it here. */ appversion = appversion.replace('+', '-') + sh 'docker image prune -a -f' /* Build and push the same image with the same tag to quay.io, but without the cacert. */ docker.withRegistry( 'https://quay.io/',