rename github actions, add auto-build docs github action#114

Merged

erexer merged 2 commits intodevfrom feature/auto-build-docs

Jan 24, 2025

+40

Commits on Nov 5, 2024

rename github actions, add auto-build docs github action
erexer
committed

Commits on Jan 24, 2025

Merge branch 'dev' into feature/auto-build-docs
erexer
authored