chore(jenkins): Updates Jenkins plugins#1407

gounthar merged 1 commit intomainjenkins-docs/quickstart-tutorials:mainfrom

update-plugins-2025/07/22/08/35/24jenkins-docs/quickstart-tutorials:update-plugins-2025/07/22/08/35/24Copy head branch name to clipboard