Build JavaMelody master plugin for Gerrit stable-3.13

lucamilanesio · lucamilanesio · commit 0c5c387afac2 · 2025-10-15T17:59:05.000+01:00
Change-Id: I73fb06f3174055df7c479ee4ffa30b70bafec04a
diff --git a/jenkins/gerrit-bazel-plugin-javamelody.yaml b/jenkins/gerrit-bazel-plugin-javamelody.yaml
@@ -35,6 +35,7 @@
             - master
           gerrit-branch:
             - master
+            - stable-3.13
             - stable-3.12
             - stable-3.11
             - stable-3.10
