namespace IoGithubMkowsStateExampleStateExample {

  public record Error (
    int Code,
    string Message,
    string? Details
  );
  public record Healthcheck (
    string Status
  );


}