admin/rocky-man
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Deploy/pull from upstream #6

Merged
admin merged 2 commits from deploy/pull-from-upstream into main 2026-06-16 08:11:26 -05:00
Conversation 0 Commits 2 Files Changed 33
+1 -1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 11405c227f - Show all commits
Jenkinsfile
Vendored
+1 -1
View File
@@ -56,7 +56,7 @@ spec:
) )
string( string(
name: 'REPO_TYPES', name: 'REPO_TYPES',
defaultValue: 'BaseOS AppStream', defaultValue: 'BaseOS AppStream HighAvailability',
description: 'Rocky Linux repos to build against (space-separated)' description: 'Rocky Linux repos to build against (space-separated)'
) )
string( string(