Skip to content

ci: typecheck and build the GUI frontend - #14

Merged
ColeMei merged 1 commit into
mainfrom
ci/gui-coverage
Aug 18, 2026
Merged

ColeMei merged 1 commit into
mainfrom
ci/gui-coverage

Commits

Commits on Aug 18, 2026