Skip to content

789: consolidate metrics sonar documentation#892

Merged
jana-selva merged 6 commits into
mainfrom
doc/789-consolidate-metrics-sonar-documentation
Jun 23, 2026
Merged

789: consolidate metrics sonar documentation#892
jana-selva merged 6 commits into
mainfrom
doc/789-consolidate-metrics-sonar-documentation

Conversation

@jana-selva

Copy link
Copy Markdown
Contributor

Fixes #789

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?

@jana-selva jana-selva self-assigned this Jun 22, 2026
@jana-selva jana-selva temporarily deployed to manual-approval June 22, 2026 12:34 — with GitHub Actions Inactive
@jana-selva jana-selva temporarily deployed to manual-approval June 22, 2026 12:34 — with GitHub Actions Inactive
Comment thread doc/user_guide/features/metrics/collecting_metrics.rst Outdated
Comment thread doc/user_guide/features/metrics/collecting_metrics.rst Outdated
Comment thread doc/user_guide/features/metrics/collecting_metrics.rst
ckunki
ckunki previously approved these changes Jun 23, 2026
@sonarqubecloud

Copy link
Copy Markdown

@jana-selva jana-selva merged commit f98fe6d into main Jun 23, 2026
42 checks passed
@jana-selva jana-selva deleted the doc/789-consolidate-metrics-sonar-documentation branch June 23, 2026 09:46
jana-selva added a commit that referenced this pull request Jun 23, 2026
789: consolidate metrics and Sonar docs
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.

Consolidate metrics & Sonar documentation

2 participants