Merge pull request #327 from jcreedcmu/jcreed/fix-windows-ci

chore: Fix codeql.cmd overwriting codeql.exe in CI
This commit is contained in:
Dave Bartolomeo 2020-04-07 11:48:04 -04:00 коммит произвёл GitHub
Родитель b3ad1d6814 ba3381fbf9
Коммит 2df512f018
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 1 добавлений и 0 удалений

1
.github/workflows/main.yml поставляемый
Просмотреть файл

@ -72,6 +72,7 @@ jobs:
mkdir codeql-home
curl -L --silent https://github.com/github/codeql-cli-binaries/releases/latest/download/codeql.zip -o codeql-home/codeql.zip
unzip -q -o codeql-home/codeql.zip -d codeql-home
unzip -q -o codeql-home/codeql.zip codeql/codeql.exe -d codeql-home
rm codeql-home/codeql.zip
shell: bash