diff --git a/Jenkinsfile b/Jenkinsfile index 1adfd73..276e23b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -85,7 +85,10 @@ pipeline { "$IMAGEFIND_DEPENDENCY_TMPDIR" "$IMAGEFIND_VERIFY_TMPDIR" artifacts chmod 700 "$DOCKER_CONFIG" available_kb=$(df -Pk "$WORKSPACE" | awk 'NR == 2 { print $4 }') - test "$available_kb" -ge 4194304 + test "$available_kb" -ge 3145728 || { + printf 'at least 3 GiB free disk space is required; available: %s KiB\n' "$available_kb" >&2 + exit 1 + } ''' } }