Skip to content

chore(jenkins): Updates Jenkins plugins#1885

Merged
gounthar merged 1 commit intomainfrom
update-plugins-2025/12/05/08/34/18
Dec 5, 2025
Merged

chore(jenkins): Updates Jenkins plugins#1885
gounthar merged 1 commit intomainfrom
update-plugins-2025/12/05/08/34/18

Commits

Commits on Dec 5, 2025