fixup! wip: ci: use fedoraBuild

2025-11-23 13:04:19 -06:00
parent b2937d54c2
commit bfd826276d
1 changed files with 9 additions and 1 deletions
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -40,7 +40,7 @@ try {
        }

        stage('Sign') {
-            when(BRANCH_NAME == 'main') {
+            if (BRANCH_NAME == 'main') {
                withEnvironment([
                    "GNUPGHOME=${env.WORKSPACE_TMP}/gnupg",
                ]) {
@@ -57,6 +57,14 @@ try {
                        sh '. ci/sign.sh'
                    }
                }
+            } else {
+                catchError(
+                    catchInterruptions: false, 
+                    buildResult: null,
+                    stageResult: 'NOT_BUILT',
+                ) {
+                    error('skip')
+                }
            }
        }