nice-businessperson-14225
07/31/2024, 12:54 PMmax(etcd_server_has_leader)
. When I execute this query it does return the expected value. I'm not sure what's going wrong. In the recent past I had some etcd metrics disabled by accident (fixed), which may have caused the problem, but I'm not sure how to proceed now.