Skip to content

chore(jenkins): Updates Jenkins plugins#1620

Merged
gounthar merged 1 commit intomainfrom
update-plugins-2025/10/01/07/28/46
Oct 1, 2025
Merged

chore(jenkins): Updates Jenkins plugins#1620
gounthar merged 1 commit intomainfrom
update-plugins-2025/10/01/07/28/46

Commits

Commits on Oct 1, 2025