chore: add retry(5) to the Jenkinsfile

[lemeurherve]

I removed it in #1565, putting it back trying to get builds passing.

[zbynek]

LGTM, but why is the build failing?

[dduportal]

LGTM, but why is the build failing?

Not sure why to be honest :| There have been error when the build fetches the plugin contents since months. There used to be HTTP/500 from the backend which has been fixed 2 months ago (OOM in the JVM).

Now we see TCP/TLS errors like the one described in #1575 (comment) but only in infra.ci.jenkins.io, not on ci.jenkins.io which is weird.

[dduportal]

I removed it in #1565, putting it back trying to get builds passing.

Problem is that the initial Build stage fails, so infra.ci.jenkins.io never reaches the "Deploy" phase (which is retried 5 times), so the build fails without retrying alas.

[lemeurherve]

Superseded by #1575

[zbynek]

But... API failing for a single plugin should result in a single docs page missing, not in whole build failing.

[dduportal]

But... API failing for a single plugin should result in a single docs page missing, not in whole build failing.

I wholeheartedly agree with you! But i have no idea how to do it with this toolchain (out of my depth here)