Skip to content

docs: update site documentation (v0.4.1)#164

Merged
svenjacobs merged 1 commit intomainfrom
chore/update-documentation
Aug 30, 2025
Merged

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

Conversation

@github-actions
Copy link
Contributor

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 August 30, 2025 13:03
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Aug 30, 2025
@svenjacobs svenjacobs merged commit 1fe4c2c into main Aug 30, 2025
4 checks passed
@svenjacobs svenjacobs deleted the chore/update-documentation branch August 30, 2025 13:34
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