Jenkins, as a buils server, archives the build artefacts.
Copyright (c) Thomas Spitzer resources/processes/minimalSPICE.txt