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

Upgrade codeql to version 2.2.4 #34

Merged
merged 4 commits into from Aug 21, 2020
Merged

Conversation

@rvermeulen
Copy link
Contributor

rvermeulen commented Jul 31, 2020

This PR:

  • downloads the latest (v2.2.4) CodeQL CLI binaries,
  • switches to the current HEAD of the CodeQL repository hosted in the GitHub organization.
rvermeulen added 4 commits Jul 31, 2020
The used image 19.04 throws the error
The repository 'http://security.ubuntu.com/ubuntu disco-security Release' does not have a Release file.
when building.

Seems to be no longer supported.
@xcorail xcorail merged commit bb46a2c into github:master Aug 21, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.