[Feature] report file size for ui extensions on build and dev#7205
Merged
robin-drexler merged 1 commit intomainfrom Apr 8, 2026
Merged
[Feature] report file size for ui extensions on build and dev#7205robin-drexler merged 1 commit intomainfrom
robin-drexler merged 1 commit intomainfrom