commit 2edc92e56908dec189c2a68b8a9e10bfca50b31e
author Luca Milanesio <luca.milanesio@gmail.com> Sat Oct 11 22:52:11 2025 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> Sat Oct 11 16:50:23 2025 -0700
tree 756a1a3977c47b432f3068132012dd600f93982e
parent 03ffa6caa80b83a7ced802a88c8e77adfd5ebf3b

Build healthcheck-enterprise plugin on stable-3.13

Change-Id: Id31711288928b56bb245917eb3b819a34a7fd0e1

jenkins/gerrit-bazel-plugin-healthcheck-enterprise.yaml

diff --git a/jenkins/gerrit-bazel-plugin-healthcheck-enterprise.yaml b/jenkins/gerrit-bazel-plugin-healthcheck-enterprise.yaml
index b5b8dd0..a2c6249 100644
--- a/jenkins/gerrit-bazel-plugin-healthcheck-enterprise.yaml
+++ b/jenkins/gerrit-bazel-plugin-healthcheck-enterprise.yaml
@@ -1,14 +1,11 @@
 - project:
     name: healthcheck-enterprise
     repo: healthcheck-enterprise
+    extra-plugins: 'healthcheck'
     organization: GerritForge
     jobs:
       - 'plugin-{name}-gh-bazel-{branch}':
           branch:
             - master
-      - 'plugin-{name}-gh-bazel-{branch}-{gerrit-branch}':
-          branch:
-            - master
-          gerrit-branch:
             - stable-3.13
       - 'plugin-{name}-verifier-gh'