Skip to content
This repository was archived by the owner on Dec 8, 2025. It is now read-only.

Conversation

@jehrhardt
Copy link
Owner

No description provided.

This is required as a pull request check.

Signed-off-by: Jan Ehrhardt <59441+jehrhardt@users.noreply.github.com>
Signed-off-by: Jan Ehrhardt <59441+jehrhardt@users.noreply.github.com>
Signed-off-by: Jan Ehrhardt <59441+jehrhardt@users.noreply.github.com>
Signed-off-by: Jan Ehrhardt <59441+jehrhardt@users.noreply.github.com>
@jehrhardt jehrhardt merged commit 47e5d6f into main Feb 20, 2025
2 checks passed
@jehrhardt jehrhardt deleted the CI-build branch February 20, 2025 21:55
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant