Skip to content

[rules_score]: bugfix dependable element sphinx build#194

Merged
castler merged 1 commit into
mainfrom
joho_fix_sphinx_build_dependable_element
May 4, 2026
Merged

[rules_score]: bugfix dependable element sphinx build#194
castler merged 1 commit into
mainfrom
joho_fix_sphinx_build_dependable_element

Conversation

@hoe-jo

@hoe-jo hoe-jo commented May 4, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@hoe-jo hoe-jo force-pushed the joho_fix_sphinx_build_dependable_element branch from 05abe87 to bdf41ee Compare May 4, 2026 14:39
@castler castler merged commit 6e849be into main May 4, 2026
5 checks passed
@castler castler deleted the joho_fix_sphinx_build_dependable_element branch May 4, 2026 15:35
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