Skip to content

592 fix workflow errors#595

Merged
dbenn merged 2 commits into
masterfrom
592-fix-workflow-errors
May 7, 2026
Merged

592 fix workflow errors#595
dbenn merged 2 commits into
masterfrom
592-fix-workflow-errors

Conversation

@dbenn
Copy link
Copy Markdown
Collaborator

@dbenn dbenn commented May 7, 2026

No description provided.

dbenn and others added 2 commits May 7, 2026 21:21
Move docs/index.html template from an inline heredoc in docs.yml
(which caused a YAML syntax error) to .github/pages/docs-index.html.
The workflow now checks out master to obtain the template and copies
it to gh-pages during staging.

Co-authored-by: Cursor <cursoragent@cursor.com>
…pages file

docs/index.html now lives directly on gh-pages (like javadoc/index.html),
so the workflow no longer needs to check out master or copy a template file.

Co-authored-by: Cursor <cursoragent@cursor.com>
@dbenn dbenn self-assigned this May 7, 2026
@dbenn dbenn added the documentation Improvements or additions to documentation label May 7, 2026
@dbenn dbenn linked an issue May 7, 2026 that may be closed by this pull request
@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 1081de8 into master May 7, 2026
20 checks passed
@dbenn dbenn deleted the 592-fix-workflow-errors branch May 7, 2026 12:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Document deployment to github.io

1 participant