Skip to content

Add metric doc#49

Merged
marioaxonops merged 2 commits intomainfrom
add_metric_doc
Jan 14, 2026
Merged

Add metric doc#49
marioaxonops merged 2 commits intomainfrom
add_metric_doc

Conversation

@marioaxonops
Copy link
Collaborator

In this PR:

  • add better output for the check schema disagreement
  • add documentation for alert metric

@marioaxonops marioaxonops self-assigned this Jan 13, 2026
@marioaxonops marioaxonops merged commit 794d0ec into main Jan 14, 2026
24 checks passed
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