Skip to content

#90: Create user guide#92

Merged
redcatbear merged 2 commits into
mainfrom
kaklakariada/issue90
May 12, 2026
Merged

#90: Create user guide#92
redcatbear merged 2 commits into
mainfrom
kaklakariada/issue90

Conversation

@kaklakariada
Copy link
Copy Markdown
Collaborator

Closes #90

Comment thread .github/workflows/javadoc_publish.yml Outdated
Comment thread .github/workflows/javadoc_publish.yml Outdated
Comment thread doc/user_guide.md Outdated
Comment thread .github/workflows/javadoc_publish.yml Outdated
Comment thread .github/workflows/javadoc_publish.yml
Co-authored-by: Sebastian Bär <sebastian.baer@exasol.com>
@sonarqubecloud
Copy link
Copy Markdown

@redcatbear redcatbear merged commit f00d855 into main May 12, 2026
9 checks passed
@redcatbear redcatbear deleted the kaklakariada/issue90 branch May 12, 2026 09:10
@redcatbear redcatbear added documentation User guides, turorials, specifications ai:assisted Code or document made with the help of AI labels May 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ai:assisted Code or document made with the help of AI documentation User guides, turorials, specifications

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Create user guide

2 participants