Repository navigation

Publish database-free documentation directly through GitHub Pages - #10

Merged

MikkoVihtakari merged 2 commits into

fix/reliable-pages-publishing

Oct 26, 2026

Merged

Publish database-free documentation directly through GitHub Pages#10
MikkoVihtakari merged 2 commits into
masterfrom
fix/reliable-pages-publishing

Commits on Oct 26, 2026
- Publish validated website artifacts directly through Pages
  MikkoVihtakari
  committed
  00d83c1
- Retain the historical illustration without executing database examples
  MikkoVihtakari
  committed
  16a91b6