Skip to content

Ensure logging tags are documented in a consistent order - #5286

Open
AlanGriffiths wants to merge 1 commit into
mainfrom
fix-logging-tags
Open

AlanGriffiths wants to merge 1 commit into
mainfrom
fix-logging-tags

Conversation

@AlanGriffiths

Copy link
Copy Markdown
Contributor

list_known_tags() lists tags in registration order, which is not fixed and can vary between runs. This could cause problems when compared with the documentation.

@AlanGriffiths
AlanGriffiths added this pull request to stack #5287 September 30, 2026 16:36
@github-actions

Copy link
Copy Markdown

TICS Quality Gate

✔️ Passed

mir

Coding Standards: ✔️ Passed

✔️ Condition “No new Coding Standard Violations for level 1, 2, 3 with respect to Previous analysis” passed.

See the results in the TICS Viewer

The following files have been checked for this project
  • src/platform/options/default_configuration.cpp

TICS / TICS / Run TICS analysis

@RAOF RAOF left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Sensible, yes.

@AlanGriffiths
AlanGriffiths added this pull request to the merge queue Oct 1, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue because a pull request earlier in the stack was removed Oct 1, 2026
@AlanGriffiths
AlanGriffiths added this pull request to the merge queue Oct 1, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Oct 1, 2026
Base automatically changed from fix-symbols-again to main October 1, 2026 11:15

This branch has not been deployed

No deployments
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