[GitHub] [hudi] hudi-bot edited a comment on pull request #3084: [HUDI-2017] Add API to set a metric in the registry.

hudi-bot edited a comment on pull request #3084: URL: https://github.com/apache/hudi/pull/3084#issuecomment-861654242 ## CI report: * 0f912497450d109667dc36d6f79b8feea2b83203 Azure:

[GitHub] [hudi] hudi-bot edited a comment on pull request #3084: [HUDI-2017] Add API to set a metric in the registry.

hudi-bot edited a comment on pull request #3084: URL: https://github.com/apache/hudi/pull/3084#issuecomment-861654242 ## CI report: * 0f912497450d109667dc36d6f79b8feea2b83203 Azure:

[GitHub] [hudi] hudi-bot edited a comment on pull request #3084: [HUDI-2017] Add API to set a metric in the registry.

hudi-bot edited a comment on pull request #3084: URL: https://github.com/apache/hudi/pull/3084#issuecomment-861654242 ## CI report: * 0f912497450d109667dc36d6f79b8feea2b83203 Azure:

[GitHub] [hudi] hudi-bot edited a comment on pull request #3084: [HUDI-2017] Add API to set a metric in the registry.

hudi-bot edited a comment on pull request #3084: URL: https://github.com/apache/hudi/pull/3084#issuecomment-861654242 ## CI report: * 0f912497450d109667dc36d6f79b8feea2b83203 Azure: