Skip to content

chore(jenkins): Updates Jenkins plugins#1440

Merged
gounthar merged 2 commits intomainfrom
update-plugins-2025/07/30/07/33/57
Jul 30, 2025
Merged

chore(jenkins): Updates Jenkins plugins#1440
gounthar merged 2 commits intomainfrom
update-plugins-2025/07/30/07/33/57

Commits

Commits on Jul 30, 2025