Skip to content

Change the default check trait name in check_components!#215

Merged
soareschen merged 1 commit intomainfrom
default-check-trait-name
Feb 28, 2026
Merged

Change the default check trait name in check_components!#215
soareschen merged 1 commit intomainfrom
default-check-trait-name

Commits

Commits on Feb 28, 2026