Debug VS Code failure

Author: tautschnig

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

@@ -675,9 +675,8 @@ jobs:
       - uses: actions/checkout@v3
         with:
           submodules: recursive
-      - uses: nuget/setup-nuget@v1
-        with:
-          nuget-version: '5.8.x'
+      - name: Setup Visual Studio environment
+        uses: microsoft/setup-msbuild@v1
       - name: Fetch dependencies
         run: |
           choco install winflexbison3
@@ -698,8 +697,6 @@ jobs:
         run: z3 --version
       - name: Confirm cvc5 solver is available and log the version installed
         run: cvc5 --version
-      - name: Setup Visual Studio environment
-        uses: microsoft/setup-msbuild@v1
       - name: Prepare ccache
         uses: actions/cache@v3
         with:
@@ -733,11 +730,12 @@ jobs:
       - uses: actions/checkout@v3
         with:
           submodules: recursive
-      - uses: nuget/setup-nuget@v1
-        with:
-          nuget-version: '5.8.x'
+      - name: Setup MSBuild
+        uses: microsoft/setup-msbuild@v1
       - name: Fetch dependencies
         run: |
+          choco export
+          cat packages.config
           choco install -y winflexbison3 strawberryperl wget
           if($LastExitCode -ne 0)
           {
@@ -754,12 +752,13 @@ jobs:
           New-Item -ItemType directory "C:\tools\cvc5"
           wget.exe -O c:\tools\cvc5\cvc5.exe https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Win64.exe
           echo "c:\tools\cvc5;" >> $env:GITHUB_PATH
+          choco export
+          cat packages.config
+          choco install python
       - name: Confirm z3 solver is available and log the version installed
         run: z3 --version
       - name: Confirm cvc5 solver is available and log the version installed
         run: cvc5 --version
-      - name: Setup MSBuild
-        uses: microsoft/setup-msbuild@v1
       - name: Initialise Developer Command Line
         uses: ilammy/msvc-dev-cmd@v1
       - name: Prepare ccache