Keep the issue open when the bump could not be opened

The verdict and the close both came from needs.test.result, so a green suite
whose propose_bump failed filed as "passes", linked no adoption PR, and closed
itself. That reads as "nothing needed adopting" — the one reading that is wrong.
It is also the state every repository starts in: without "Allow GitHub Actions to
create and approve pull requests" the bump job gets a 403 on the first real run.

needs.propose_bump.result now feeds in. A bump that failed or was cancelled keeps
the issue open and says which of the two usual causes to look at. A bump that
succeeded without opening anything — already pinned, or a PR already open — still
closes, because nothing is wrong in that case.

Exercised all three outcomes against a stubbed gh: green closes and links the PR,
a failed bump stays open with the explanation, a failed suite stays open with the
ABI pointer.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

Author: ShawnChen-Sirius

.github/workflows/engine-release-check.yml

@@ -186,24 +186,46 @@ jobs:
           GH_REPO: ${{ github.repository }}
           RESULT: ${{ needs.test.result }}
           BUMP_PR: ${{ needs.propose_bump.outputs.pr }}
+          BUMP_RESULT: ${{ needs.propose_bump.result }}
           ENGINE_VERSION: ${{ github.event.client_payload.tag || github.event.inputs.engine_version }}
           RUN_URL: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}
         run: |
           set -euo pipefail
 
-          if [ "$RESULT" = success ]; then
-            verdict="passes"
-          else
+          # A green suite whose bump could not be opened is not a green run. Closing
+          # on needs.test.result alone would file it as "nothing to adopt" and leave
+          # the broken automation with no signal at all.
+          bump_broke=0
+          if [ "$RESULT" != success ]; then
             verdict="FAILS"
+            keep=1
+          elif [ "$BUMP_RESULT" = failure ] || [ "$BUMP_RESULT" = cancelled ]; then
+            verdict="passes, bump PR did not open"
+            keep=1
+            bump_broke=1
+          else
+            verdict="passes"
+            keep=0
           fi
 
           {
-            echo "chdb-rust $verdict against chdb-core \`$ENGINE_VERSION\`."
+            if [ "$bump_broke" = 1 ]; then
+              echo "chdb-rust passes against chdb-core \`$ENGINE_VERSION\`, but the bump PR did not open."
+            else
+              echo "chdb-rust $verdict against chdb-core \`$ENGINE_VERSION\`."
+            fi
             echo
             echo "$RUN_URL"
             if [ -n "$BUMP_PR" ]; then
               echo
               echo "Adopting it: $BUMP_PR"
+            elif [ "$bump_broke" = 1 ]; then
+              echo
+              echo "The engine is fine; the automation is not. The pull request moving the"
+              echo "pin could not be opened, so this issue stays open. The usual cause is"
+              echo "this repository having \"Allow GitHub Actions to create and approve pull"
+              echo "requests\" turned off; the other is the branch push being rejected. The"
+              echo "pin is unchanged either way, and moving it by hand is one line."
             fi
             if [ "$RESULT" != success ]; then
               echo
@@ -221,6 +243,6 @@ jobs:
             --body-file body.md)
           echo "$url"
 
-          if [ "$RESULT" = success ]; then
+          if [ "$keep" = 0 ]; then
             gh issue close "$url" --comment "Green, closing. The run is linked above."
           fi