()
| 553 | |
| 554 | record Check(boolean check, Kind kind, String ok, String error) implements Information { |
| 555 | public String summary() { |
| 556 | // formatter:off |
| 557 | return "- %s %s".formatted( |
| 558 | getMarker(kind, check), |
| 559 | check ? ok : error); |
| 560 | // formatter:on |
| 561 | } |
| 562 | |
| 563 | public String markdownSummary() { |
| 564 | return "- [%s] %s %s".formatted( |