Repository navigation

Hoist outliner toolbars into the bottom bar and bump lui for Duo layout - #16

Merged

tiensonqin merged 5 commits into

mainfrom

devin/1790287321-duo-bottom-bars

Sep 24, 2026

Commits on Sep 24, 2026
- Hoist outliner toolbars into the bottom bar and bump lui for Duo layout
  tiensonqin
  committed
  ac1b3e6
- ci: install opam deps from the monorepo lockfile
  tiensonqin
  committed
  1ac5fad
- ci: include ci.yml in the opam/duniverse cache keys
  tiensonqin
  committed
  9fde4c7
- ci: drop switch copies of duniverse-vendored packages
  tiensonqin
  committed
  fc7523d
- Bump lui pin to merged main
  tiensonqin
  committed
  748b7b5