Skip to content

Conversation

@bergos
Copy link
Contributor

@bergos bergos commented Nov 22, 2025

Closes #646

  • Removes the count of severities to remove conflicts with the number of table entries.
  • Consistently use the term constraint violation to align with the previously defined entries in the table.

This PR should fix the issues with the new violations introduced recently. Any additional fixes, like a missing definition, should be handled in a separate PR.

@bergos bergos merged commit 8d24ed3 into gh-pages Nov 23, 2025
1 check 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.

Severity declarations

4 participants