yuqi1129 opened a new pull request, #13017: URL: https://github.com/apache/gravitino/pull/13017
### What changes were proposed in this pull request? Reword one heading in `mcp-server/dev/INSPECTOR_DEMO.md` to trigger MCP CI. This is a temporary test PR, not intended to merge. ### Why are the changes needed? Trigger a fresh MCP CI run to investigate the reported failure. ### Does this PR introduce _any_ user-facing change? No runtime behavior changes. ### How was this patch tested? `git diff --check` passed. Confirmed the changed path matches the MCP integration workflow filter. CI results are pending PR creation. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
