robojerk/codeql-action

Output environment file for Windows

Browse source
This commit is contained in:
Edoardo Pirovano 2021-05-10 11:12:08 +01:00
parent ef38c532f3
commit a5506d82e4
No known key found for this signature in database
GPG key ID: B3108158CB9C4550
8 changed files with 104 additions and 35 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/pr-checks.yml vendored
View file

@ -465,8 +465,10 @@ jobs:
- name: Build code
shell: powershell
# Note we want to make sure that the .win32env file is read correctly, so we unset the CODEQL_EXTRACTOR_CSHARP_ROOT from the .sh file.
run: |
cat ./codeql-runner/codeql-env.sh | Invoke-Expression
$Env:CODEQL_EXTRACTOR_CSHARP_ROOT = ""
& $Env:CODEQL_RUNNER dotnet build
- name: Run analyze