chore(jenkins): Updates Jenkins plugins#1445

gounthar wants to merge 2 commits intomainjenkins-docs/quickstart-tutorials:mainfrom

update-plugins-2025/07/30/07/34/26jenkins-docs/quickstart-tutorials:update-plugins-2025/07/30/07/34/26Copy head branch name to clipboard