fix(ci): update mdbook to 0.5.1 and force reinstall mermaid#62
Merged
nikomatsakis merged 1 commit intosymposium-dev:mainfrom Dec 14, 2025
Merged
fix(ci): update mdbook to 0.5.1 and force reinstall mermaid#62nikomatsakis merged 1 commit intosymposium-dev:mainfrom
nikomatsakis merged 1 commit intosymposium-dev:mainfrom
