Skip to content

chore(jenkins): Updates Jenkins plugins#1867

Merged
gounthar merged 1 commit intomainfrom
update-plugins-2025/11/20/08/34/12
Nov 20, 2025
Merged

chore(jenkins): Updates Jenkins plugins#1867
gounthar merged 1 commit intomainfrom
update-plugins-2025/11/20/08/34/12

Commits

Commits on Nov 20, 2025