Skip to content

chore(jenkins): Updates Jenkins plugins#1891

Merged
gounthar merged 1 commit intoweeklyfrom
update-plugins-2025/12/10/16/12/51
Dec 10, 2025
Merged

chore(jenkins): Updates Jenkins plugins#1891
gounthar merged 1 commit intoweeklyfrom
update-plugins-2025/12/10/16/12/51

Commits

Commits on Dec 10, 2025