Skip to content

Update docs and add publish workflow#40

Merged
evandowning merged 12 commits intomainfrom
update-doc
Apr 17, 2026
Merged

Update docs and add publish workflow#40
evandowning merged 12 commits intomainfrom
update-doc

Conversation

@evandowning
Copy link
Copy Markdown
Contributor

@evandowning evandowning commented Apr 14, 2026

  • Update documentation
  • Add github workflow for publishing
  • Fix deleted docs

@evandowning evandowning marked this pull request as ready for review April 14, 2026 15:13
Comment thread scripts/queries_table_generator.py Outdated
@evandowning evandowning requested a review from GrosQuildu April 15, 2026 12:58
@evandowning evandowning merged commit d45ba51 into main Apr 17, 2026
4 checks passed
@evandowning evandowning deleted the update-doc branch April 17, 2026 14:10
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.

2 participants