Merge pull request #11930 from igfoo/igfoo/fetch-codeql

CI: fetch-codeql: Set $CODEQL_FETCHED_CODEQL_PATH in the enivironment
This commit is contained in:
Ian Lynagh 2023-01-19 15:33:08 +00:00 коммит произвёл GitHub
Родитель c2c14cdddb 3a5bec5778
Коммит c2d5281e73
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 2 добавлений и 0 удалений

2
.github/actions/fetch-codeql/action.yml поставляемый
Просмотреть файл

@ -19,4 +19,6 @@ runs:
gh extension install github/gh-codeql
gh codeql set-channel "$CHANNEL"
gh codeql version
printf "CODEQL_FETCHED_CODEQL_PATH=" >> "${GITHUB_ENV}"
gh codeql version --format=json | jq -r .unpackedLocation >> "${GITHUB_ENV}"
gh codeql version --format=json | jq -r .unpackedLocation >> "${GITHUB_PATH}"