Add Docusaurus documentation site and GitHub Pages deployment#2

Merged

ludgerpaehler merged 3 commits intomasterfrom

Apr 27, 2026

Commits on Apr 27, 2026

Add Docusaurus documentation site and GitHub Pages workflows

ludgerpaehler
and
claude
committed
Fix CI failures: Docusaurus build and pre-commit hooks

ludgerpaehler
and
claude
committed
Apply ruff-format to soft_actor_koopman_critic and soft_koopman_value_iteration

ludgerpaehler
and
claude
committed