Skip to content

Fix formatting of list items in user guide#931

Merged
redcatbear merged 1 commit into
mainfrom
documentation/indent-custom-workflow-option-list
Jul 22, 2026
Merged

Fix formatting of list items in user guide#931
redcatbear merged 1 commit into
mainfrom
documentation/indent-custom-workflow-option-list

Conversation

@redcatbear

Copy link
Copy Markdown
Contributor

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? ← no issue, just PR
  • there are no other open Pull Requests for the same update/change?
  • that the issue which this Pull Request fixes ("Fixes...") is mentioned? ← no issue, just PR

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?

@redcatbear redcatbear self-assigned this Jul 22, 2026
@redcatbear redcatbear added the documentation User guides, tutorials, specifications label Jul 22, 2026
@redcatbear
redcatbear deployed to manual-approval July 22, 2026 13:32 — with GitHub Actions Active
@redcatbear
redcatbear temporarily deployed to manual-approval July 22, 2026 13:32 — with GitHub Actions Inactive
@redcatbear
redcatbear enabled auto-merge (squash) July 22, 2026 13:33
@redcatbear
redcatbear merged commit 3959fa8 into main Jul 22, 2026
42 checks passed
@redcatbear
redcatbear deleted the documentation/indent-custom-workflow-option-list branch July 22, 2026 13:45
@sonarqubecloud

Copy link
Copy Markdown

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation User guides, tutorials, specifications

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants