DEBUG logging for kore-rpc-booster to determine crash reason

Author: jberthold

.github/workflows/rv-run-proofs.yaml

@@ -115,7 +115,9 @@ jobs:
           docker exec --workdir /workdir "${KMIR_CONTAINER_NAME}" \
             bash -c "ls -la artefacts; mkdir -p artefacts/proof; ls -la artefacts"
           timeout 7200 \
-            docker exec --workdir /workdir "${KMIR_CONTAINER_NAME}" \
+            docker exec \
+              --env KORE_RPC_OPTS="--log-context *>depth. --log-context *>proxy" \
+              --workdir /workdir "${KMIR_CONTAINER_NAME}" \
               kmir prove-rs --smir artefacts/p-token.smir.json \
               --start-symbol 'pinocchio_token_program::entrypoint::${{ matrix.proof }}' \
               --verbose \
@@ -131,7 +133,7 @@ jobs:
         if: always()
         uses: actions/upload-artifact@v4
         with:
-          name: $artefacts-${{ matrix.proof }}
+          name: artefacts-${{ matrix.proof }}
           path: |
             artefacts/p-token.smir.json
             artefacts/proof/*-full.txt