Skip to content

chore(jenkins): Updates Jenkins plugins#1897

Merged
gounthar merged 1 commit intomainfrom
update-plugins-2025/12/11/08/36/13
Dec 11, 2025
Merged

chore(jenkins): Updates Jenkins plugins#1897
gounthar merged 1 commit intomainfrom
update-plugins-2025/12/11/08/36/13

Commits

Commits on Dec 11, 2025