Add CodeQL to GitHub pipeline (#98)

This commit is contained in:
Chuck Walbourn 2023-05-17 11:38:52 -07:00 коммит произвёл GitHub
Родитель 7aa1cb659a
Коммит 1c0342d348
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 3 добавлений и 0 удалений

Просмотреть файл

@ -42,6 +42,9 @@ resources:
name: $(Year:yyyy).$(Month).$(DayOfMonth)$(Rev:.r)
variables:
Codeql.Enabled: true
pool:
vmImage: windows-2019