Skip to content

Publish mkdocs in gh-pages when a new release is created#373

Merged
lrosemberg merged 2 commits intomainfrom
lean/publish-mkdocs
Apr 4, 2025
Merged

Publish mkdocs in gh-pages when a new release is created#373
lrosemberg merged 2 commits intomainfrom
lean/publish-mkdocs

Commits

Commits on Apr 4, 2025