Repository navigation

Set up Antora site - #1

Merged

marcphilipp merged 2 commits into

mainfrom

marc/antora-setup

Nov 12, 2026

Merged

Set up Antora site#1
marcphilipp merged 2 commits into
mainfrom
marc/antora-setup

Commits on Nov 12, 2026
- Set up Antora site
  marcphilipp
  committed
  4e693ca
- Set up workflow to build and deploy
  marcphilipp
  committed
  8666fe8