tree 8ac5cf693ce22f3274c7db9cac7c92f2c8332f4d
parent ebeb261600e8916fb654861ec241dd2e2b4a6fec
author Luca Milanesio <luca.milanesio@gmail.com> 1751400422 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1751539574 +0100

Adapt to HealthCheck.StatusSummary being a Java record

Following I7fdaf8d053, the use of HealthCheck's StatusSummary needs to
change to a Java record.

Change-Id: Iead52b8b25dc2e0978955fcd38b00f5b05cb62dc