Skip to content

Fix CodeQL help generation paths in build-and-publish workflow - #18

Merged
carlspring merged 4 commits into
masterfrom
copilot/fix-build-and-publish-java
Aug 4, 2026
Merged

Fix CodeQL help generation paths in build-and-publish workflow#18
carlspring merged 4 commits into
masterfrom
copilot/fix-build-and-publish-java

Conversation

Copilot AI commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

The build-and-publish (java) workflow was failing during codeql generate query-help because the .qhelp files referenced sample sources using paths that are not valid from src/main/ql. This updates the sample references to the actual Java source locations and fixes a related import issue in one sample class.

  • QHelp sample resolution

    • Update all <sample src="..."> references in the query help files to use paths relative to src/main/ql.
    • This allows CodeQL help generation to resolve the insecure/secure sample pairs used in the published documentation.
  • Sample source cleanup

    • Add the missing HttpServerOptions and JksOptions imports in SecureCorsServer.java.
    • Keeps the referenced secure example self-consistent once it is pulled into help generation and local builds.
  • Representative change

    - <sample src="InsecureHttpServer.java" />
    + <sample src="../java/org/carlspring/security/vertx/http/InsecureHttpServer.java" />
  • Files updated

    • src/main/ql/InsecureCorsHttpOrigin.qhelp
    • src/main/ql/InsecureCorsWildcardOrigin.qhelp
    • src/main/ql/InsecureHttpServer.qhelp
    • src/main/java/org/carlspring/security/vertx/http/SecureCorsServer.java

Copilot AI and others added 2 commits August 3, 2026 23:43
Co-authored-by: carlspring <1436265+carlspring@users.noreply.github.com>
Co-authored-by: carlspring <1436265+carlspring@users.noreply.github.com>
Copilot AI changed the title [WIP] Fix failing GitHub Actions job build-and-publish (java) Fix CodeQL help generation paths in build-and-publish workflow Aug 3, 2026
Copilot AI requested a review from carlspring August 3, 2026 23:45
Co-authored-by: carlspring <1436265+carlspring@users.noreply.github.com>
@carlspring
carlspring marked this pull request as ready for review August 4, 2026 00:00
@carlspring
carlspring merged commit 04bcab2 into master Aug 4, 2026
1 check passed
@carlspring
carlspring deleted the copilot/fix-build-and-publish-java branch August 4, 2026 00:00
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