CI: 📝 👷 `make html` generate hierarchy graph#1710

Merged

affeldt-aist merged 3 commits intomath-comp:masterfrom

proof-ninja:yoshihiro503@rocqnavi-hb-graph

Sep 18, 2025

Commits on Sep 17, 2025

CI: :memo: :construction_worker: `make html` generate hierarchy graph
yoshihiro503
committed
Rocqdoc HTML: :lipstick: :construction_worker: :wrench: :hammer: Introduce blacklist and type infomation tooltips
yoshihiro503
committed
CI: fix CI to use rocqnavi release 0.3.1
yoshihiro503
committed