Skip to content

Conversation

@mgumowsk
Copy link
Contributor

What does this PR do?

Fixes # (issue)

Before submitting

  • This PR fixes a typo or improves the docs (you can dismiss the other checks if that's the case).
  • Did you make sure to update the documentation with your changes?
  • Did you write any new necessary tests?

@mgumowsk mgumowsk requested a review from a team as a code owner October 27, 2025 12:30
@github-actions github-actions bot added the docs Related to documentation label Oct 27, 2025
@mgumowsk mgumowsk enabled auto-merge November 3, 2025 07:30
@mgumowsk mgumowsk added this pull request to the merge queue Nov 4, 2025
Merged via the queue into master with commit 06d1bfc Nov 4, 2025
17 of 18 checks passed
@mgumowsk mgumowsk deleted the mgumowsk/model-exporter branch November 4, 2025 11:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Related to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants