chore(jenkins): Updates Jenkins plugins#1355

gounthar wants to merge 1 commit intomainjenkins-docs/quickstart-tutorials:mainfrom

update-plugins-2025/07/03/08/32/38jenkins-docs/quickstart-tutorials:update-plugins-2025/07/03/08/32/38Copy head branch name to clipboard