Skip to content

ci: build the docs site with ProperDocs as well as MkDocs - #108

Merged
olegshulyakov merged 1 commit into
mainfrom
feature/properdocs-ci
Oct 23, 2026
Merged

olegshulyakov merged 1 commit into
mainfrom
feature/properdocs-ci

Commits

  1. Commits on Oct 23, 2026