Skip to content

Introduction of sphinx_toolchain#116

Open
ramceb wants to merge 1 commit intomainfrom
mb_sphinx_toolchain
Open

Introduction of sphinx_toolchain#116
ramceb wants to merge 1 commit 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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Draft

Development

Successfully merging this pull request may close these issues.

1 participant