Skip to content

Conversation

@dharsanb
Copy link
Contributor

#1264 should be merged before this.
Replaces #1230 to fix docker build issues.

…tion

Signed-off-by: Dharsan Baskar <git@dharsanb.com>
Signed-off-by: Dharsan Baskar <git@dharsanb.com>
@dharsanb dharsanb requested a review from evrardjp December 20, 2025 06:51
@dharsanb dharsanb self-assigned this Dec 20, 2025
@dharsanb dharsanb added the build Changes targeting the build system of kured (not including CI code itself) label Dec 20, 2025
@dharsanb
Copy link
Contributor Author

Previous PR #1230 had multiplatform build failures. This is fixed now.

Copy link
Collaborator

@evrardjp evrardjp left a comment

Choose a reason for hiding this comment

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

This looks like a great addition. Let's work in #1264 to ensure it's stable for future use, and rebase this on top. Looks good to me at first sight.

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

Labels

build Changes targeting the build system of kured (not including CI code itself)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants