Skip to content

Merge kernel-builder into the kernels repo#215

Merged
danieldk merged 4 commits intomainfrom
merge-kernel-builder
Jan 21, 2026
Merged

Merge kernel-builder into the kernels repo#215
danieldk merged 4 commits intomainfrom
merge-kernel-builder

Conversation

@danieldk
Copy link
Member

@danieldk danieldk commented Jan 20, 2026

This is the initial PR in a range of PRs. This one merges the kernel-builder repo into this repo and does the minimal amount of additional work to make CI run again, etc. Subsequent PRs will clean things up, merge documentation, etc.

@HuggingFaceDocBuilderDev

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint. The docs are available until 30 days after the last update.

@danieldk danieldk marked this pull request as ready for review January 21, 2026 12:39
Copy link
Contributor

@MekkCyber MekkCyber left a comment

Choose a reason for hiding this comment

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

Huge work! Thanks!

@danieldk danieldk merged commit f83b4da into main Jan 21, 2026
34 of 37 checks passed
@danieldk danieldk deleted the merge-kernel-builder branch January 21, 2026 12:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants