Skip to content

QL: use latest tools in codeql-action/init#8561

Merged
edoardopirovano merged 1 commit intogithub:mainfrom
erik-krogh:latestTools
Mar 25, 2022
Merged

QL: use latest tools in codeql-action/init#8561
edoardopirovano merged 1 commit intogithub:mainfrom
erik-krogh:latestTools

Conversation

@erik-krogh
Copy link
Contributor

@erik-krogh erik-krogh commented Mar 25, 2022

The codeql-action would sometimes have a slightly out-of-date version of CodeQL cached, and that caused everything to crash.

Now we are forcing it to use the latest version, which makes fetching CodeQL slightly slower, but everything works now.

@erik-krogh erik-krogh marked this pull request as ready for review March 25, 2022 18:29
Copy link
Collaborator

@adityasharad adityasharad left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. We can go back to using the cached version once that is recent enough to address the problems you ran into.

@edoardopirovano edoardopirovano merged commit 8faabb8 into github:main Mar 25, 2022
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