Skip to content

docs: unify rule/ruleset doc tags#9250

Merged
keradus merged 9 commits intomasterfrom
src-3__Tag___SYNCED
Dec 1, 2025
Merged

docs: unify rule/ruleset doc tags#9250
keradus merged 9 commits intomasterfrom
src-3__Tag___SYNCED

Conversation

@keradus
Copy link
Copy Markdown
Member

@keradus keradus commented Dec 1, 2025

No description provided.

@keradus keradus force-pushed the src-3__Tag___SYNCED branch from 256aed1 to 9ca0732 Compare December 1, 2025 09:37
@keradus keradus force-pushed the src-3__Tag___SYNCED branch from 9ca0732 to efca53d Compare December 1, 2025 09:39
@coveralls
Copy link
Copy Markdown

coveralls commented Dec 1, 2025

Coverage Status

coverage: 93.18% (-0.3%) from 93.482%
when pulling 223c9b2 on src-3__Tag___SYNCED
into 8556ba3 on master.

@keradus keradus marked this pull request as ready for review December 1, 2025 10:53
@keradus keradus enabled auto-merge (squash) December 1, 2025 10:53
@keradus keradus merged commit ba3a0a9 into master Dec 1, 2025
31 of 34 checks passed
@keradus keradus deleted the src-3__Tag___SYNCED branch December 1, 2025 10:59
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.

2 participants