Skip to content

Conversation

@bossenti
Copy link
Contributor

Purpose

Miscellaneous improvements of our Python docs

Remarks

PR introduces (a) breaking change(s): no

PR introduces (a) deprecation(s): no

@bossenti bossenti requested a review from SvenO3 March 15, 2023 18:25
@bossenti bossenti added this to the 0.91.0 milestone Mar 15, 2023
@bossenti bossenti self-assigned this Mar 15, 2023
@github-actions github-actions bot added dependencies Pull requests that update a dependency file documentation Everything related to documentation python Pull requests that update Python code labels Mar 15, 2023
Copy link
Contributor

@SvenO3 SvenO3 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot for putting so much work into cleaning up the docs.

@dominikriemer dominikriemer merged commit 09327f5 into dev Mar 20, 2023
@dominikriemer dominikriemer deleted the chore/update-docs branch March 20, 2023 18:26
bossenti added a commit that referenced this pull request Mar 21, 2023
* chore: increase required coverage for documentation

Signed-off-by: bossenti <[email protected]>

* chore: refine metadata of package

Signed-off-by: bossenti <[email protected]>

* docs: refine mkdocs setup

Signed-off-by: bossenti <[email protected]>

* docs: improve docs

Signed-off-by: bossenti <[email protected]>

---------

Signed-off-by: bossenti <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file documentation Everything related to documentation python Pull requests that update Python code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants