[ha-bolt-server < ] Add coord health

[as51340]

Note

For simplicity, first merge this PR into ha-bolt-server branch and then ha-bolt-server into main. Other option is first merge ha-bolt-server into main, then rebase this one on top of main (also very valid).

Description

Leader now knows the alive status of other coordinators.

Pull request type

Please check what kind of PR this is:

• [x] Fix or improvement of an existing page
• [ ] New documentation page, release related

Related PRs and issues

PR this doc page is related to: https://github.com/memgraph/memgraph/pull/1985

Checklist:

• [x] Check all content with Grammarly
• [x] Perform a self-review of my code
• [x] Make corresponding changes to the rest of the documentation (consult with the DX team)
• [x] The build passes locally
• [x] My changes generate no new warnings or errors
• [x] Add a corresponding label
• [x] If release-related, add a product and version label
• [x] If release-related, add release note on product PR

[vercel[bot]]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated (UTC)
documentation	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Apr 26, 2024 7:17am