Skip to content

chore(jenkins): Updates Jenkins plugins#1881

Merged
gounthar merged 1 commit intoweeklyfrom
update-plugins-2025/12/04/10/08/39
Dec 4, 2025
Merged

chore(jenkins): Updates Jenkins plugins#1881
gounthar merged 1 commit intoweeklyfrom
update-plugins-2025/12/04/10/08/39

Commits

Commits on Dec 4, 2025