Description

If quarkus-micrometer extensions is used it can be configured to push metrics to prometheus. I think the same could be achieved if quarkus-micrometer-registry-prometheus extension is used.

@melloware already produced a snipet here
#40933 (comment), (I think there may be an issue with the target.

I guess it could be done only if quarkus-micrometer-registry-prometheus is used.

Implementation ideas

No response