Repository navigation

Improve handling of CLI versions - #707

Merged

edoardopirovano merged 6 commits into

github:mainfrom

edoardopirovano:cli-version

Aug 25, 2021

Merged

Improve handling of CLI versions#707
edoardopirovano merged 6 commits into
github:mainfrom
edoardopirovano:cli-version

Commits on Aug 18, 2021
- Cache result of `codeql version`
  edoardopirovano
  committed
  4ba53e3
- Version flag usage of certain CLI flags
  edoardopirovano
  committed
  fb77829
- Enforce a minimum version of CodeQL CLI
  edoardopirovano
  committed
  70d2efc
- Test against oldest supported version
  edoardopirovano
  committed
  e70ec1d
- Address PR comments from @henrymercer
  edoardopirovano
  committed
  fd45eac
Commits on Aug 25, 2021
- Merge branch 'main' into cli-version
  henrymercer
  authored
  a062fc9