Skip to content

chore(jenkins): Updates Jenkins plugins#1907

Merged
gounthar merged 1 commit intoweeklyfrom
update-plugins-2025/12/19/07/55/38
Dec 19, 2025
Merged

chore(jenkins): Updates Jenkins plugins#1907
gounthar merged 1 commit intoweeklyfrom
update-plugins-2025/12/19/07/55/38

Commits

Commits on Dec 19, 2025