Fix CI badge #119

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

tortmayr wants to merge 1 commit into main from tortmayr-patch-2

+1 −3

Contributor

tortmayr commented Oct 21, 2025

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)


          Fix CI badge

7c1c59e

tortmayr requested a review from martin-fleck-at

October 21, 2025 09:45

martin-fleck-at approved these changes

View reviewed changes

Contributor

martin-fleck-at left a comment

LGTM!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet