Repository navigation

Simplify the tutorial setup - #120

Merged

RemyDegenne merged 13 commits into

mainfrom

Jun 11, 2026

Commits on Jun 10, 2026
- simplify tutorial setup
  RemyDegenne
  committed
  a3d4177
- Merge remote-tracking branch 'origin/main' into blueprint
  RemyDegenne
  committed
  dfd8218
- update gitignore
  RemyDegenne
  committed
  198464d
- untrack _out
  RemyDegenne
  committed
  db9752b
- remove cd line
  RemyDegenne
  committed
  5c62d55
- fix
  RemyDegenne
  committed
  390748c
- remove ANCHOR
  RemyDegenne
  committed
  58afa1a
Commits on Jun 11, 2026
- reorganize tutorial and docs
  RemyDegenne
  committed
  2cec711
- update
  RemyDegenne
  committed
  a93f8cd
- update build script
  RemyDegenne
  committed
  c085609
- update ci
  RemyDegenne
  committed
  57b3484
- lake exe mk_all
  RemyDegenne
  committed
  7c63ab9
- move and rename scripts
  RemyDegenne
  committed
  696c81d