Skip to content

Dev - #586

Merged
dweinholz merged 7 commits into
stagingfrom
dev
Sep 4, 2026
Merged

Dev#586
dweinholz merged 7 commits into
stagingfrom
dev

Conversation

@dweinholz

Copy link
Copy Markdown
Contributor

Try to fulfill the following points before the Pull Request is merged:

  • Please create your PR against the dev branch.
  • Please wait for all tests to finish.
  • All tests relevant to the changes introduced by this PR must pass. If a test fails due to an issue unrelated to this PR, it does not block this PR and should be handled separately.
  • When adding new documentation or a tutorial, make sure the corresponding Markdown file is linked in config.yml.
  • Once all the above points have been successfully completed, the PR can be merged.

@dweinholz
dweinholz merged commit b5f603e into staging Sep 4, 2026
1 check 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.

1 participant