Fix Jenkinsfile name Change-Id: Id788bbd0405e402343a3c54b4b9b2f6b988bee36 Signed-off-by: Frederic Gurr <frederic.gurr@eclipse-foundation.org>