DEBUG WIN

Author: tautschnig

.github/workflows/pull-request-checks.yaml

@@ -764,7 +764,9 @@ jobs:
           New-Item -ItemType directory "C:\tools\cvc5"
           Invoke-WebRequest -Uri https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Win64-static.zip -OutFile .\cvc5-Win64-static.zip
           Expand-Archive -LiteralPath '.\cvc5-Win64-static.Zip'
-          Move-Item -Path .\cvc5-Win64-static\bin\cvc5.exe c:\tools\cvc5\cvc5.exe
+          Get-ChildItem -Path .\
+          Get-ChildItem -Path .\cvc5-Win64-static
+          Move-Item -Path .\cvc5-Win64-static\cvc5-Win64-static\bin\cvc5.exe c:\tools\cvc5\cvc5.exe
           echo "c:\tools\cvc5;" >> $env:GITHUB_PATH
           New-Item -ItemType directory "C:\tools\parallel"
           wget.exe -O c:\tools\parallel\parallel https://git.savannah.gnu.org/cgit/parallel.git/plain/src/parallel