Skip to content

chore: fix documentation#3334

Merged
Chartman123 merged 1 commit into
mainfrom
chore/fix-documentation
May 15, 2026
Merged

chore: fix documentation#3334
Chartman123 merged 1 commit into
mainfrom
chore/fix-documentation

Conversation

@Chartman123
Copy link
Copy Markdown
Collaborator

Signed-off-by: Christian Hartmann chris-hartmann@gmx.de

@Chartman123 Chartman123 added this to the 5.3 milestone May 15, 2026
@Chartman123 Chartman123 requested a review from pringelmann May 15, 2026 13:16
@Chartman123 Chartman123 self-assigned this May 15, 2026
@Chartman123 Chartman123 requested review from Koc and susnux May 15, 2026 13:19
@Chartman123 Chartman123 enabled auto-merge May 15, 2026 14:11
@codecov
Copy link
Copy Markdown

codecov Bot commented May 15, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

Signed-off-by: Christian Hartmann <chris-hartmann@gmx.de>
Signed-off-by: Kostiantyn Miakshyn <molodchick@gmail.com>
@Koc Koc force-pushed the chore/fix-documentation branch from 4abcdb3 to 3dd34f0 Compare May 15, 2026 18:24
@Chartman123 Chartman123 merged commit eee0aed into main May 15, 2026
53 checks passed
@Chartman123 Chartman123 deleted the chore/fix-documentation branch May 15, 2026 18:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants