Skip to content

Fix GitHub Pages publish path for p2 repository#16

Merged
strimo378 merged 1 commit intomainfrom
codex/fix-missing-p2-repository-error
Jan 21, 2026
Merged

Fix GitHub Pages publish path for p2 repository#16
strimo378 merged 1 commit intomainfrom
codex/fix-missing-p2-repository-error

Conversation

@strimo378
Copy link
Copy Markdown
Collaborator

Motivation

  • The Pages publish step failed because the workflow looked for the p2 repository at repository/target/repository instead of the actual Tycho output location under the releng module, preventing the site artifact from being uploaded.

Description

  • Update .github/workflows/publish-p2.yml to set repo_dir="releng/com.emmtrix.isl.site/target/repository" so the workflow copies the correct p2 repository into the site directory for GitHub Pages.

Testing

  • Executed mvn -V -B -DskipTests=false clean verify and the build completed successfully with all Tycho modules and automated tests passing.

Codex Task

@strimo378 strimo378 merged commit d268b86 into main Jan 21, 2026
@strimo378 strimo378 deleted the codex/fix-missing-p2-repository-error branch January 21, 2026 14:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant