Skip to content

feat: add @[attribute] for registering custom attributes#13629

Draft
Kha wants to merge 1 commit intoleanprover:masterfrom
Kha:push-qvnrvkvtvyrx
Draft

feat: add @[attribute] for registering custom attributes#13629
Kha wants to merge 1 commit intoleanprover:masterfrom
Kha:push-qvnrvkvtvyrx

Commits

Commits on May 4, 2026