Skip to content

[DOC FIX] fix tab name#195

Merged
aelligp merged 2 commits into
mainfrom
aelligp-patch-2
Apr 1, 2026
Merged

[DOC FIX] fix tab name#195
aelligp merged 2 commits into
mainfrom
aelligp-patch-2

Conversation

@aelligp
Copy link
Copy Markdown
Member

@aelligp aelligp commented Mar 18, 2026

Whats the purpose of this PR?

  • Bug fix
  • New feature
  • Documentation update
  • Other, please explain

Describe it in more detail below:

Checklist

  • The PR title is descriptive and starts with the appropriate tag: [BUGFIX], [ADDITION], [DOC], etc.
  • New tests (either assessing the correct behaviour of new internal functions or the correctness of a tutorial) were added, or old tests were updated
  • Affected tutorials have also been updated
  • The new feature was added in a way that does not break public API
  • New documentation related to the new feature was added
  • The new code follows the contributor guidelines, in particular the Runic Style

@aelligp aelligp merged commit adcb95b into main Apr 1, 2026
23 of 28 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.

2 participants