Remove line that adds chocolatey/bin folder to GITHUB_PATH.

NlightNFotis · NlightNFotis · commit 568593233e34 · 2023-09-26T17:45:55.000+01:00
This appears in our experiments to fix the situation with the
bad binary that is installed for Python with chocolatey.
diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
@@ -746,7 +746,6 @@ jobs:
           }
           nuget install clcache -OutputDirectory "c:\tools" -ExcludeVersion -Version 4.1.0
           echo "c:\tools\clcache\clcache-4.1.0" >> $env:GITHUB_PATH
-          echo "c:\ProgramData\chocolatey\bin" >> $env:GITHUB_PATH
           echo "c:\Strawberry\" >> $env:GITHUB_PATH
           Invoke-WebRequest -Uri https://github.com/Z3Prover/z3/releases/download/z3-4.8.10/z3-4.8.10-x64-win.zip -OutFile .\z3.zip
           Expand-Archive -LiteralPath '.\z3.Zip' -DestinationPath C:\tools

Original file line number	Diff line number	Diff line change
`@@ -746,7 +746,6 @@ jobs:`
`746`	`746`	`}`
`747`	`747`	`nuget install clcache -OutputDirectory "c:\tools" -ExcludeVersion -Version 4.1.0`
`748`	`748`	`echo "c:\tools\clcache\clcache-4.1.0" >> $env:GITHUB_PATH`
`749`		`- echo "c:\ProgramData\chocolatey\bin" >> $env:GITHUB_PATH`
`750`	`749`	`echo "c:\Strawberry\" >> $env:GITHUB_PATH`
`751`	`750`	`Invoke-WebRequest -Uri https://github.com/Z3Prover/z3/releases/download/z3-4.8.10/z3-4.8.10-x64-win.zip -OutFile .\z3.zip`
`752`	`751`	`Expand-Archive -LiteralPath '.\z3.Zip' -DestinationPath C:\tools`