Skip to content

Improve handling of CLI versions #707

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.

Sign up for GitHub

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

Merged
edoardopirovano merged 6 commits into from
Aug 25, 2021
Merged

Improve handling of CLI versions #707

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
4ba53e3
Cache result of `codeql version`
edoardopirovano Aug 18, 2021
fb77829
Version flag usage of certain CLI flags
edoardopirovano Aug 18, 2021
70d2efc
Enforce a minimum version of CodeQL CLI
edoardopirovano Aug 18, 2021
e70ec1d
Test against oldest supported version
edoardopirovano Aug 18, 2021
fd45eac
Address PR comments from @henrymercer
edoardopirovano Aug 18, 2021
a062fc9
Merge branch 'main' into cli-version
henrymercer Aug 25, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge branch 'main' into cli-version
  • Loading branch information
@henrymercer
henrymercer authored Aug 25, 2021
commit a062fc9bf584dcf0e1707dd15a1615017eb471e6

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.