Skip to content

Fix CI badge#119

Merged
tortmayr merged 1 commit intomainfrom
tortmayr-patch-2
Jan 17, 2026
Merged

Fix CI badge#119
tortmayr merged 1 commit intomainfrom
tortmayr-patch-2

Conversation

@tortmayr
Copy link
Copy Markdown
Contributor

What it does

How to test

Follow-ups

Changelog

  • This PR should be mentioned in the changelog
  • This PR introduces a breaking change (if yes, provide more details below for the changelog and the migration guide)

Copy link
Copy Markdown
Contributor

@martin-fleck-at martin-fleck-at left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@tortmayr tortmayr merged commit 95c1859 into main Jan 17, 2026
5 checks passed
@tortmayr tortmayr deleted the tortmayr-patch-2 branch January 17, 2026 06:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants