Skip to content

Autoharness: verify all formatting trait implementations - #4802

Open
srivatsansamraj wants to merge 2 commits into
model-checking:mainfrom
srivatsansamraj:autoharness-fmt-traits
Open

srivatsansamraj wants to merge 2 commits into
model-checking:mainfrom
srivatsansamraj:autoharness-fmt-traits

Test each formatting trait on its own type; order FmtTrait alphabetic…

a52eb18
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 18, 2026 in 9s