Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Install a specific CodeQL version. #87

Merged
merged 1 commit into from
Dec 13, 2024
Merged

Install a specific CodeQL version. #87

merged 1 commit into from
Dec 13, 2024

Conversation

michaelnebel
Copy link
Collaborator

@michaelnebel michaelnebel commented Dec 11, 2024

In this PR we add an action for downloading and caching a specific version of the CodeQL CLI instead of using what is in the tool cache. I ran into some issues with code suddenly not compiling when new CodeQL versions were picked up from the tool cache - so maybe we should consider to pin the CodeQL version? If not, we could also modify these workflows to download the latest CodeQL CLI instead.
Also we get all sorts of warnings during package install (subsequent steps) using the codeql in the tool cache (I think this is because the tool cache contains the entire bundle).

If we decide to use this "new" action, both the hotspots and publish workflows also needs to be updated.

@michaelnebel michaelnebel force-pushed the ci/installcodeql branch 3 times, most recently from 08b7eb7 to f9138c7 Compare December 13, 2024 12:02
@michaelnebel michaelnebel marked this pull request as ready for review December 13, 2024 12:37
@GeekMasher
Copy link
Collaborator

Sounds good to me. If there are issues we can monitor them

@GeekMasher GeekMasher merged commit d3871a8 into main Dec 13, 2024
13 checks passed
@GeekMasher GeekMasher deleted the ci/installcodeql branch December 13, 2024 16:24
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.

3 participants