Pipeline of CI for patches sent to upf-benchmark Auto-generated using Jenkins Job Builder. DO NOT EDIT MANUALLY!