Skip to content

chore(jenkins): Updates Jenkins plugins#1905

Merged
gounthar merged 1 commit intomainfrom
update-plugins-2025/12/18/08/36/15
Dec 19, 2025
Merged

chore(jenkins): Updates Jenkins plugins#1905
gounthar merged 1 commit intomainfrom
update-plugins-2025/12/18/08/36/15

Commits

Commits on Dec 18, 2025