Skip to content

Introduction of sphinx_toolchain#116

Merged
ramceb merged 3 commits intomainfrom
mb_sphinx_toolchain
Mar 9, 2026
Merged

Introduction of sphinx_toolchain#116
ramceb merged 3 commits intomainfrom
mb_sphinx_toolchain

Conversation

@ramceb
Copy link
Contributor

@ramceb ramceb commented Mar 3, 2026

This PR introduces a sphinx_toolchain.
With this changes users can introduce their
own custom toolchain for rules_score.

This PR introduces a sphinx_toolchain.
With this changes users can introduce their
own custom toolchain for rules_score.
@ramceb ramceb force-pushed the mb_sphinx_toolchain branch from d8f6241 to 3b50592 Compare March 5, 2026 08:21
@ramceb ramceb force-pushed the mb_sphinx_toolchain branch from 420b691 to 534e2cc Compare March 9, 2026 08:12
@hoe-jo hoe-jo self-requested a review March 9, 2026 09:40
Copy link

@hoe-jo hoe-jo left a comment

Choose a reason for hiding this comment

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

LGTM

@ramceb ramceb merged commit 286682f into main Mar 9, 2026
5 checks passed
@ramceb ramceb deleted the mb_sphinx_toolchain branch March 9, 2026 10:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

2 participants