Repository navigation

Rename book to documentation - #76

Merged

jan-janssen merged 5 commits into

mainfrom

Apr 23, 2025

Merged

Rename book to documentation#76
jan-janssen merged 5 commits into
mainfrom
documentation

Commits on Apr 23, 2025
- Rename book to documentation
  jan-janssen
  committed
  87d975b
- rename CI action
  jan-janssen
  committed
  ce054a0
- clean up actions
  jan-janssen
  committed
  2e4f4ca
- fix env
  jan-janssen
  committed
  fd19e8e
- fix format
  jan-janssen
  committed
  fa5b601