Support HTTP Head Method for /healthz endpoint.

[rahulmistri1997]

Checklist

• I have searched the existing issues for similar feature requests.
• I added a descriptive title and summary to this issue.

Summary

Implementing support for the HTTP HEAD method for the /healthz endpoint enhances efficiency and reduces bandwidth usage by allowing quick retrieval of metadata about the service's health without sending the entire response body.
This aligns with HTTP standards, improves monitoring capabilities, and contributes to the scalability and reliability of the system.

Why?

I wanted to add support for the HTTP HEAD method to the /healthz endpoint because I wanted to integrate it with my monitoring service, which only supports HEAD requests. Upon further consideration, I realized the benefits it offers. Specifically, it enhances efficiency by allowing quick retrieval of metadata about the service's health without transmitting the entire response body, reducing bandwidth usage. Additionally, supporting this method aligns with HTTP standards, improves monitoring capabilities, and contributes to the scalability and reliability of the system.

How?

Adding support for the HEAD method in the following router Class.

streamlit/lib/streamlit/web/server/routes.py

Line 125 in 98fa8c3

class HealthHandler(_SpecialRequestHandler):

Additional Context

No response

[github-actions]

To help Streamlit prioritize this feature, react with a 👍 (thumbs up emoji) to the initial post.

Your vote helps us identify which enhancements matter most to our users.

[rahulmistri1997]

I have made changes to my self-hosted fork and am now ready to open a pull request.

I'm interested in volunteering.

[vdonato]

Implemented by #8145! Our release for this month already happened on the first of the month, so this change should land in 1.32.0 on March 7.

It'll also be available starting tonight in the nightly build for those that want to use it earlier.

[rahulmistri1997]

Awesome,
Looking forward to it 🚀