Skip to content

chore(jenkins): Updates Jenkins plugins#1856

Merged
gounthar merged 1 commit intomainfrom
update-plugins-2025/11/17/08/35/00
Nov 17, 2025
Merged

chore(jenkins): Updates Jenkins plugins#1856
gounthar merged 1 commit intomainfrom
update-plugins-2025/11/17/08/35/00

Commits

Commits on Nov 17, 2025