Skip to content

Comments

Fix docs#1284

Merged
LukasFehring merged 1 commit intomainfrom
1280-create-pull-request-checklist
Dec 16, 2025
Merged

Fix docs#1284
LukasFehring merged 1 commit intomainfrom
1280-create-pull-request-checklist

Conversation

@LukasFehring
Copy link
Collaborator

@LukasFehring LukasFehring commented Dec 15, 2025

Reference Issues/PRs

Mkdocs was updated, but the config file was not updated accordingly. Therefore, #1281 failed upon calling make docs

Changes

I updated the mkdocs.yaml

Type Of Changes

What types of changes does your code introduce? Put an x in all the boxes that apply:

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)

Checklist

Go over all the following points, and put an x in all the boxes that apply.
Should there be a good argument to differ, please provide a reasoned explanation.

  • My change is based on the latest stage of the develop branch.
  • My change required a change of the documentation, which has been done.
  • I checked that the documentation can be build, visualizes everything as expected, and does not contain any warnings.
  • I have added/adapted tests to cover my changes.
  • The tests can be executed successfully.
  • I have added a description of the changes to CHANGELOG.rst.

All the other points on the Checklist are not appropriate for this fix.

Copy link

@mwever mwever left a comment

Choose a reason for hiding this comment

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

LG2M

@LukasFehring LukasFehring merged commit 9ec1020 into main Dec 16, 2025
12 checks passed
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