fix docs CI #194

Merged
muellerr merged 1 commits from fix-docs-ci into main 2025-11-27 12:47:57 +01:00