This repository was archived by the owner on Jul 29, 2026. It is now read-only.

chore: prepare repository for archiving - #497

Merged

julian-risch merged 2 commits into

mainfrom

quiet-repo-for-archive

Jul 29, 2026

Commits on Jul 28, 2026

chore: prepare repository for archiving

julian-risch
and
claude
committed
9e85b04
chore: remove the Docusaurus API reference sync workflow

julian-risch
and
claude
committed
9128780