Skip to content

docs: update site documentation (v0.4.2)#169

Merged
svenjacobs merged 1 commit intomainfrom
chore/update-documentation
Sep 4, 2025
Merged

docs: update site documentation (v0.4.2)#169
svenjacobs merged 1 commit intomainfrom
chore/update-documentation

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Sep 4, 2025

Update extra.version and extra.version_name in site/mkdocs.yml to reflect the new release.

@github-actions github-actions bot requested a review from svenjacobs as a code owner September 4, 2025 09:12
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Sep 4, 2025
@svenjacobs svenjacobs merged commit f3c4d81 into main Sep 4, 2025
4 checks passed
@svenjacobs svenjacobs deleted the chore/update-documentation branch September 4, 2025 09:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant