Skip to content

chore(jenkins): Updates Jenkins plugins#1862

Merged
gounthar merged 1 commit intomainfrom
update-plugins-2025/11/19/08/32/55
Nov 19, 2025
Merged

chore(jenkins): Updates Jenkins plugins#1862
gounthar merged 1 commit intomainfrom
update-plugins-2025/11/19/08/32/55

Commits

Commits on Nov 19, 2025