chore: update review wrapper pin #17
Loading…
Reference in a new issue
No description provided.
Delete branch "chore/update-review-wrapper-pin"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Moves the review wrapper pin to
a79cfbe. Inline review comments now open with the severity and title and end with the lens, arm and tally line, and claim text is HTML-neutralised.Rendered by
@j4k/align3.5.2.Review
01M41F2F3DFBBP0YDEK6QPB14Q— heada2243b900b756111871dd37488321c2e0ab167adReview — j4k-oss/tropkod-client @
2b448b2296Scope: diff against base tree
da9cb4dc39e2Status: dispatched — coverage complete (4/4 slots terminal)
Facts: current review-wide projection
Computed under:
Findings (0)
No findings survived.
Reviewed:
Other claims
Coverage
Coverage pass: 01M41F2F68RV405NFKMCDCW69M
Accounting: complete
Slot health: healthy