Skip to content

Only run compilation in CodeQL CI job#1092

Merged
bdemers merged 1 commit intodevelopfrom
speed-up-codeql
Apr 3, 2026
Merged

Only run compilation in CodeQL CI job#1092
bdemers merged 1 commit intodevelopfrom
speed-up-codeql

Conversation

@bdemers
Copy link
Copy Markdown
Member

@bdemers bdemers commented Apr 3, 2026

A full build is run in other jobs, this will speed up the slow CodeQL process

A full build is run in other jobs, this will speed up the slow CodeQL process
@github-actions
Copy link
Copy Markdown

github-actions bot commented Apr 3, 2026

View details about the 'Apache Rat - Check' build 874 in the Build Scan 📊

@github-actions
Copy link
Copy Markdown

github-actions bot commented Apr 3, 2026

View details about the 'Maven Verify (with Java 21-zulu)' build 1869 in the Build Scan 📊

@github-actions
Copy link
Copy Markdown

github-actions bot commented Apr 3, 2026

View details about the 'Maven Verify (with Java 17-zulu)' build 1869 in the Build Scan 📊

@bdemers bdemers merged commit 0370336 into develop Apr 3, 2026
6 checks passed
@bdemers bdemers deleted the speed-up-codeql branch April 3, 2026 02:29
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