chore(jenkins): Updates Jenkins plugins#1417

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

update-plugins-2025/07/23/13/51/48jenkins-docs/quickstart-tutorials:update-plugins-2025/07/23/13/51/48Copy head branch name to clipboard