bench-aiur> failed running package evaluation. If you have `nix` installed, you can reproduce the error locally by running: prlimit --as=8589934592 nix build /tmp/garnix-runs-59f00cfd8ec6f9db#packages.x86_64-linux.bench-aiur --dry-run --json
bench-aiur> warning: ignoring untrusted flake configuration setting 'extra-substituters'.
Pass '--accept-flake-config' to trust it
warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
Pass '--accept-flake-config' to trust it
building '/nix/store/fz9gh3qapsklbmf20jj7i8xv9snjcc0p-ix-deps.json.drv' on 'ssh-ng://nix-ssh@garnix7'...
copying 9 paths...
copying path '/nix/store/1yzk176fmdxi6dnzz80qliacn05zczya-Serde.lean' to 'ssh-ng://'...
copying path '/nix/store/4239szwyz8s0l22zprlwzjgs7a886czb-OneShot.lean' to 'ssh-ng://'...
copying path '/nix/store/6y0whjk7zzbjd39fahrgb9aqicl3jmxm-Common.lean' to 'ssh-ng://'...
copying path '/nix/store/a92ml164q7l9jsx11wrxk7cpahxsiqfl-Bench.lean' to 'ssh-ng://'...
copying path '/nix/store/hfb85jx71hwfaq35rj11i344jk8vj9jn-Aiur.lean' to 'ssh-ng://'...
copying path '/nix/store/i91hvlbq0ikps6byqlgfmbg1xnznjznj-IxVM.lean' to 'ssh-ng://'...
copying path '/nix/store/j7xicxnr08ccjvkxqhm01058gizd6mm0-Tukey.lean' to 'ssh-ng://'...
copying path '/nix/store/jdhfjs85c8inqh7c5d32w1lsig1dqj1w-Blake3.lean' to 'ssh-ng://'...
copying path '/nix/store/lgjl6w7bw2f91qd53c6548g8ijhbjf77-Estimate.lean' to 'ssh-ng://'...
building '/nix/store/fz9gh3qapsklbmf20jj7i8xv9snjcc0p-ix-deps.json.drv'...
copying 1 paths...
copying path '/nix/store/32szgncagx58qp7qqydkbdjg4fkaq65m-ix-deps.json' from 'ssh-ng://'...
fatal: cannot change to '/home/nix-runner/.cache/nix/gitv3/06030hbiwnnin5xklf8pi1vhmh9wznq7jdxzf96rg97lcmpw6qdk': No such file or directory
warning: could not update cached head 'refs/heads/main' for 'https://github.com/argumentcomputer/LSpec'
fatal: cannot change to '/home/nix-runner/.cache/nix/gitv3/0k1ixaxfz89b0czrm0yz8mlnf5s7v6dvvz98scwv8c9mga4vqp0y': No such file or directory
warning: could not update cached head 'refs/heads/main' for 'https://github.com/argumentcomputer/Blake3.lean'
fatal: cannot change to '/home/nix-runner/.cache/nix/gitv3/148kvzik0d7d0v6bj8gkk6ml4i4rmk1fd9dpxvmqk658hrdjdq5r': No such file or directory
warning: could not update cached head 'refs/heads/main' for 'https://github.com/leanprover/lean4-cli'
error:
       … while calling the 'derivationStrict' builtin
         at <nix/derivation-internal.nix>:37:12:
           36|
           37|   strict = derivationStrict drvAttrs;
             |            ^
           38|

       … while evaluating derivation 'ix'
         whose name attribute is located at /nix/store/xb087rbbnw0fdmx86s8wm86rh7da5afi-source/pkgs/stdenv/generic/make-derivation.nix:375:7

       … while evaluating attribute 'buildCommand' of derivation 'ix'
         at /nix/store/xb087rbbnw0fdmx86s8wm86rh7da5afi-source/pkgs/build-support/trivial-builders/default.nix:63:17:
           62|         enableParallelBuilding = true;
           63|         inherit buildCommand name;
             |                 ^
           64|         passAsFile = [ "buildCommand" ]

       (stack trace truncated; use '--show-trace' to show the full, detailed trace)

       error: attribute '"Ix.Benchmark.Throughput"' missing
       at /nix/store/3541lxww7nysxg7w019xfd7fqk7mx1i6-source/manifests/v4.22.0.nix:284:20:
          283|               then modCandidates.${dep}
          284|               else externalModMap.${dep})
             |                    ^
          285|             deps))