Repository navigation

Tooling update - #40

Merged

29miaoet merged 5 commits into

mainfrom

Oct 30, 2026

Merged

Tooling update#40
29miaoet merged 5 commits into
mainfrom
tooling-update

Commits on Oct 29, 2026
- Replace prettier with biome, add linting
  29miaoet
  committed
  530b313
- Automatically fix minor linting issues with biome
  29miaoet
  committed
  808bb14
- Apply manual linting fixes
  29miaoet
  committed
  84a6ea6
Commits on Oct 30, 2026
- Augment workflows with linting and typechecking
  29miaoet
  committed
  93f29e6
- Order imports
  29miaoet
  committed
  1af0e17