Skip to content

#706: Added description how to ignore findings to the User Guide#708

Open
ckunki wants to merge 1 commit intomainfrom
doc/706-how_to_ignore_findings
Open

#706: Added description how to ignore findings to the User Guide#708
ckunki wants to merge 1 commit intomainfrom
doc/706-how_to_ignore_findings

Conversation

@ckunki
Copy link
Contributor

@ckunki ckunki commented Feb 13, 2026

Closes #706

Checklist

Note: If any of the items in the checklist are not relevant to your PR, just check the box.

For any Pull Request

Is the following correct:

  • the title of the Pull Request?
  • the title of the corresponding issue?
  • there are no other open Pull Requests for the same update/change?
  • that the issue which this Pull Request fixes ("Fixes...") is mentioned?

When Changes Were Made

Did you:

  • update the changelog?
  • update the cookiecutter-template?
  • update the implementation?
  • check coverage and add tests: unit tests and, if relevant, integration tests?
  • update the User Guide & other documentation?
  • resolve any failing CI criteria (incl. Sonar quality gate)?

When Preparing a Release

Have you:

  • thought about version number (major, minor, patch)?
  • checked Exasol packages for updates and resolved open vulnerabilities, if easily possible?

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.

Add Description how to ignore findings to User Guide

1 participant