Skip to content

[UPDATE PRIMITIVE] Fix additionalArgs precedence for --dump-dil/--no-dump-dil in codeql_query_compile#241

Closed
Copilot wants to merge 7 commits intonextfrom
copilot/fix-comments-in-review-thread
Closed

[UPDATE PRIMITIVE] Fix additionalArgs precedence for --dump-dil/--no-dump-dil in codeql_query_compile#241
Copilot wants to merge 7 commits intonextfrom
copilot/fix-comments-in-review-thread

Commits

Commits on Apr 11, 2026