Skip to content

Conversation

@lrosemberg
Copy link
Contributor

Description

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

Type of change

  • New feature (non-breaking change which adds functionality)

How has this change been tested, please provide a testcase or example of how you tested the change?

  • Locally, but just the build, to test it we need to create a new release

@lrosemberg lrosemberg requested a review from stellasphere April 4, 2025 00:37
@lrosemberg lrosemberg self-assigned this Apr 4, 2025
@lrosemberg lrosemberg changed the title publish mkdocs in gh-pages Publish mkdocs in gh-pages when a new release is created Apr 4, 2025
@lrosemberg lrosemberg merged commit 7476e72 into main Apr 4, 2025
8 checks passed
@iurisilvio iurisilvio deleted the lean/publish-mkdocs branch August 27, 2025 12:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants