Skip to content

WIP: Add throughput and improve printing of results

cac3f5b
Select commit
Loading
Failed to load commit list.
Draft

Test PR benchmark comment #270

WIP: Add throughput and improve printing of results
cac3f5b
Select commit
Loading
Failed to load commit list.
Garnix CI / package default [x86_64-linux] failed Nov 26, 2025 in 12s

package default [x86_64-linux]

package default [x86_64-linux] failed

Details

Last 100 lines of logs:

default> 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.default --dry-run --json
default> 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/midhdhr4lzp8i1ind7bd6xq2qnmnz8pp-ix-deps.json.drv' on 'ssh-ng://nix-ssh@garnix8'...
copying 7 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/i91hvlbq0ikps6byqlgfmbg1xnznjznj-IxVM.lean' to 'ssh-ng://'...
copying path '/nix/store/j7xicxnr08ccjvkxqhm01058gizd6mm0-Tukey.lean' to 'ssh-ng://'...
copying path '/nix/store/lgjl6w7bw2f91qd53c6548g8ijhbjf77-Estimate.lean' to 'ssh-ng://'...
building '/nix/store/midhdhr4lzp8i1ind7bd6xq2qnmnz8pp-ix-deps.json.drv'...
copying 1 paths...
copying path '/nix/store/fnsqbmaqpfvp7b2ry0m3gc1rx1ijshn9-ix-deps.json' from 'ssh-ng://'...
fatal: cannot change to '/home/nix-runner/.cache/nix/gitv3/0rh5karwmaq64yygpq3cjv0gllkjfy2pmzkgk1xkxippv21w26r5': No such file or directory
warning: could not update cached head 'refs/heads/main' for 'https://github.com/leanprover-community/batteries'
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))