From 11405c227f50983c0c72b9ae32b0b4a33285635a Mon Sep 17 00:00:00 2001 From: Stephen Simpson Date: Tue, 16 Jun 2026 08:07:02 -0500 Subject: [PATCH] deploy: add HighAvailability to default REPO_TYPES Versions already default to 8.10 9.8 10.2; include the HighAvailability repo alongside BaseOS and AppStream so its man pages (pacemaker, corosync, etc.) are built by default. Assisted-by: Claude Opus 4 (Claude Code) --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index dd3a359..75f33d8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -56,7 +56,7 @@ spec: ) string( name: 'REPO_TYPES', - defaultValue: 'BaseOS AppStream', + defaultValue: 'BaseOS AppStream HighAvailability', description: 'Rocky Linux repos to build against (space-separated)' ) string(