Skip to content

Update documentation#103

Merged
TobiWo merged 1 commit intomainfrom
develop
Oct 14, 2025
Merged

Update documentation#103
TobiWo merged 1 commit intomainfrom
develop

Conversation

@TobiWo
Copy link
Copy Markdown
Owner

@TobiWo TobiWo commented Oct 14, 2025

Summary

This MR includes the following changes to the documentation:

  • Updates funding and donation information
  • Update mkdocs version
  • Add documentation deployment workflow

@TobiWo TobiWo self-assigned this Oct 14, 2025
@TobiWo TobiWo added the documentation Improvements or additions to documentation label Oct 14, 2025
* Update mkdocs
* Add documentation deployment workflow
@TobiWo TobiWo merged commit decce85 into main Oct 14, 2025
2 of 3 checks passed
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