Skip to content

#592: generate per-set and plugin index pages in docs workflow#596

Merged
dbenn merged 1 commit into
masterfrom
592-fix-workflow-errors
May 7, 2026
Merged

#592: generate per-set and plugin index pages in docs workflow#596
dbenn merged 1 commit into
masterfrom
592-fix-workflow-errors

Conversation

@dbenn
Copy link
Copy Markdown
Collaborator

@dbenn dbenn commented May 7, 2026

  • docs/vstar/{snapshot,release}/index.html: per-set landing with links to user manual, plugin dev guide, and plugin listing, plus commit metadata
  • docs/vstar/{snapshot,release}/plugin/index.html: generated listing of all plugin PDFs, fixing the missing-docs issue caused by no directory listing on GitHub Pages

- docs/vstar/{snapshot,release}/index.html: per-set landing with links to
  user manual, plugin dev guide, and plugin listing, plus commit metadata
- docs/vstar/{snapshot,release}/plugin/index.html: generated listing of all
  plugin PDFs, fixing the missing-docs issue caused by no directory listing
  on GitHub Pages

Co-authored-by: Cursor <cursoragent@cursor.com>
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented May 7, 2026

Plugin Unit Tests

All tests passed (Java 17)

Metric Value
Tests 1
Passed 1
Failures 0
Errors 0

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented May 7, 2026

VStar Unit Tests

All tests passed (Java 17)

Metric Value
Tests 879
Passed 879
Failures 0
Errors 0

@dbenn dbenn merged commit 775484f into master May 7, 2026
21 checks passed
@dbenn dbenn deleted the 592-fix-workflow-errors branch May 7, 2026 12:53
@dbenn dbenn restored the 592-fix-workflow-errors branch May 7, 2026 12:59
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.

1 participant