Skip to content

take over release notes from score main#237

Merged
PiotrKorkus merged 6 commits into
mainfrom
improvement_update_release_notes
May 26, 2026
Merged

take over release notes from score main#237
PiotrKorkus merged 6 commits into
mainfrom
improvement_update_release_notes

Conversation

@RolandJentschETAS

@RolandJentschETAS RolandJentschETAS commented May 21, 2026

Copy link
Copy Markdown
Contributor

@github-actions

Copy link
Copy Markdown

The created documentation from the pull request is available at: docu-html

@AlexanderLanin

Copy link
Copy Markdown
Member

Reviewed; LGTM

Comment thread docs/index.rst Outdated
Comment thread docs/conf.py Outdated
@PiotrKorkus PiotrKorkus merged commit 5508af2 into main May 26, 2026
17 checks passed
@PiotrKorkus PiotrKorkus deleted the improvement_update_release_notes branch May 26, 2026 11:26
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