Skip to content

Community files, GitHub Release automation, and jazzy-to-DocC migration - #80

Merged
futamura merged 5 commits into
mainfrom
develop
Aug 17, 2026
Merged

Community files, GitHub Release automation, and jazzy-to-DocC migration#80
futamura merged 5 commits into
mainfrom
develop

docs: migrate jazzy to DocC, deploy via CI, untrack docs/

712ce18
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 17, 2026 in 1s

Coverage not affected when comparing c939ab3...712ce18

View this Pull Request on Codecov

Coverage not affected when comparing c939ab3...712ce18

View more details on Codecov