docs: simplify order and structure of documentation #433

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

vbreuss merged 2 commits into main from topic/refactor-docs

Jan 31, 2026

Merged

docs: simplify order and structure of documentation #433

Apply suggestion from @Copilot

GitHub Actions / Test Results succeeded Jan 31, 2026 in 0s

All 2 516 tests pass, 1 skipped in 6m 15s

21 files ±0 21 suites ±0 6m 15s ⏱️ +23s
2 517 tests ±0 2 516 ✅ ±0 1 💤 ±0 0 ❌ ±0
16 800 runs ±0 16 799 ✅ ±0 1 💤 ±0 0 ❌ ±0

Results for commit b74320b. ± Comparison against earlier commit ee242f7.

View more details on GitHub Actions