Skip to content

Promote dev to main: DeepLethe brand capitalization#10

Merged
WaylandYang merged 3 commits into
mainfrom
dev
May 22, 2026
Merged

Promote dev to main: DeepLethe brand capitalization#10
WaylandYang merged 3 commits into
mainfrom
dev

chore: capitalize brand name as DeepLethe across project metadata (#9)

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

Annotations

1 warning
test (ubuntu-latest, 3.12)
succeeded May 22, 2026 in 21s