Skip to content

Conversation

@waja
Copy link
Member

@waja waja commented Aug 1, 2025

@waja waja requested review from RincewindsHat and sni August 1, 2025 19:37
@waja waja added the CI label Aug 1, 2025
@RincewindsHat
Copy link
Member

Fine for me if it works :-)
But what do we need it for (if Fedora does not?)

@waja
Copy link
Member Author

waja commented Aug 4, 2025

But what do we need it for (if Fedora does not?)

It's used in .github/mock.sh.

@RincewindsHat
Copy link
Member

well then

@waja waja merged commit 2046ae8 into monitoring-plugins:master Aug 4, 2025
7 checks passed
@waja waja deleted the ci_fix_rawhide branch August 4, 2025 08:14
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.

2 participants