Skip to content

Fix CI badge#218

Merged
jbreue16 merged 2 commits intomasterfrom
fix/badge_ci
Jun 19, 2024
Merged

Fix CI badge#218
jbreue16 merged 2 commits intomasterfrom
fix/badge_ci

Conversation

@jbreue16
Copy link
Contributor

fixes #217

@jbreue16 jbreue16 requested a review from schmoelder June 19, 2024 13:37
Copy link
Contributor

@schmoelder schmoelder left a comment

Choose a reason for hiding this comment

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

basst!

@jbreue16 jbreue16 merged commit e384fd9 into master Jun 19, 2024
@jbreue16 jbreue16 deleted the fix/badge_ci branch June 19, 2024 15:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

CI badge on master only considers last CI run, not necessarily last master CI run

2 participants