workflow debugging; remove this commit later again

Author: juliankuners

.github/workflows/test-pr.yml

@@ -96,13 +96,30 @@ jobs:
         uses: cachix/cachix-action@v16
         with:
           name: k-framework
+
+      # debugging
+      - name: 'Upload nix files for debugging purposes: flake.nix'
+        uses: actions/upload-artifact@v4
+        with:
+          name: nix flake
+          path: flake.nix
+      - name: 'Upload nix files for debugging purposes: flake.lock'
+        uses: actions/upload-artifact@v4
+        with:
+          name: nix lockfile
+          path: flake.lock
+
       - name: 'Build KIMP'
         env:
           NIX_PATH: 'nixpkgs=http://nixos.org/channels/nixos-22.05/nixexprs.tar.xz'
           GC_DONT_GC: '1'
         run: |
           set -euxo pipefail
           nix --version
+
+          # debugging
+          ls -l $(which nix)
+
           JQ=$(nix-build '<nixpkgs>' -A jq --no-link)/bin/jq
           KIMP_BIN=$(nix build .#kimp --print-build-logs --json | $JQ -r '.[].outputs | to_entries[].value')/bin
           echo $KIMP_BIN >> $GITHUB_PATH