xxx

2025-08-14 08:18:26 -05:00 · 2025-08-14 08:18:26 -05:00 · 8cf97f2878
parent 73d1ddfbed
commit 8cf97f2878
1 changed files with 1 additions and 1 deletions
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@ -43,7 +43,7 @@ pipeline {
                        steps {
                            sh '. ci/build.sh'
                            script {
-                                if (env.BRANCH_NAME == 'master') {
+                                if (env.BRANCH_NAME == 'dev/ci') {
                                    withCredentials([
                                        file(
                                            credentialsId: 'rpm-gpg-key',