tree d1fbbfb567df8ccfed05c6cf7ffda63f3139468e
parent 1a134ba6d492c928e2664cfdab20468538fb8442
author Thomas Draebing <thomas.draebing@sap.com> 1573817781 +0100
committer Thomas Dräbing <thomas.draebing@sap.com> 1573883898 +0000

Fix reporting for flaky builds in Jenkinsfile

The verification pipeline was not properly reporting the results of
builds that were suspect to being flaky. This happened, because the
build did not save the results in a variable, if the propagate option
was used, which had to be done for the pipeline plugin's retry command
to work.

Instead of using the retry-command provided by the pipeline plugin,
the Jenkinsfile implements this behaviour manually.

Bug: Issue 11927
Change-Id: I419a20f69cabc4c54d7f57fd04ad354563eafd71