Skip to content

CI: make all jobs that fetch a CodeQL CLI use the fetch-codeql action#9938

Merged
aibaars merged 5 commits into
github:mainfrom
aibaars:gh-codeql-ci
Aug 1, 2022
Merged

CI: make all jobs that fetch a CodeQL CLI use the fetch-codeql action#9938
aibaars merged 5 commits into
github:mainfrom
aibaars:gh-codeql-ci

Commits

Commits on Aug 1, 2022