diff --git a/Jenkinsfile b/Jenkinsfile index 11cbb9189c..17e74661fc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -35,7 +35,7 @@ pipeline { DOCKERFILE = "${SOURCEDIR}/dev-support/docker/Dockerfile" YETUS='yetus' // Branch or tag name. Yetus release tags are 'rel/X.Y.Z' - YETUS_VERSION='rel/0.10.0' + YETUS_VERSION='rel/0.11.1' } parameters { @@ -147,11 +147,14 @@ pipeline { YETUS_ARGS+=("--dockerfile=${DOCKERFILE}") # effectively treat dev-suport as a custom maven module - YETUS_ARGS+=("--skip-dir=dev-support") + YETUS_ARGS+=("--skip-dirs=dev-support") # help keep the ASF boxes clean YETUS_ARGS+=("--sentinel") + # use emoji vote so it is easier to find the broken line + YETUS_ARGS+=("--github-use-emoji-vote") + "${TESTPATCHBIN}" "${YETUS_ARGS[@]}" ''' }