robojerk/codeql-action

Merge branch 'main' into daverlo/python-windows

Browse source
This commit is contained in:
David Verdeguer 2020-10-15 12:12:50 +02:00 • committed by GitHub
commit e0f78380e3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 11 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
python-setup/auto_install_packages.py
View file

@ -173,5 +173,8 @@ if __name__ == "__main__":
python_executable_path = install_packages(codeql_base_dir)
if python_executable_path is not None:
# see https://docs.github.com/en/free-pro-team@latest/actions/reference/workflow-commands-for-github-actions#setting-an-environment-variable
env_file = open(os.environ["GITHUB_ENV"], mode="at")
print("Setting CODEQL_PYTHON={}".format(python_executable_path))
print("::set-env name=CODEQL_PYTHON::{}".format(python_executable_path))
print("CODEQL_PYTHON={}".format(python_executable_path), file=env_file)