fix various github action failures#64

Merged

nikomatsakis merged 2 commits intosymposium-dev:mainfrom

nikomatsakis:main

Dec 15, 2025

Commits on Dec 14, 2025

fix(ci): add --force to mdbook install for cache compatibility

nikomatsakis
and
Claude
committed
fix(ci): add contents:write permission for release uploads

nikomatsakis
and
Claude
committed