Merge pull request #7920 from NlightNFotis/fix_python_ci

NlightNFotis · web-flow · commit e02fd749c0c2 · 2023-09-26T19:17:56.000+01:00
Remove line that adds `chocolatey/bin` folder to `GITHUB_PATH` from CI.
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`