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 test [x86_64-linux] failed Nov 26, 2025 in 12s

package test [x86_64-linux]

package test [x86_64-linux] failed

Details

Last 100 lines of logs:

test> 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.test --dry-run --json
test> 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/47k4hk9gasby6xr9ialmy6pa7kh1xyw6-ix-deps.json.drv' on 'ssh-ng://nix-ssh@garnix9'...
copying 44 paths...
copying path '/nix/store/0kdpcj6jkr8zvmzn21xd2py7l4cfplvy-Ixon.lean' to 'ssh-ng://'...
copying path '/nix/store/1mdm2q64m1731p2h9mcw1m39n7h6pzl3-ProveCmd.lean' to 'ssh-ng://'...
copying path '/nix/store/1yzk176fmdxi6dnzz80qliacn05zczya-Serde.lean' to 'ssh-ng://'...
copying path '/nix/store/28ns10f9q12fakjglbcbpyvf7pks1fd1-SmallMap.lean' to 'ssh-ng://'...
copying path '/nix/store/2ni03sac449zi960dnqkbx5116h3d856-IxVM.lean' to 'ssh-ng://'...
copying path '/nix/store/38649v1hs31wp9acksmxg3fsqh2aynya-Connect.lean' to 'ssh-ng://'...
copying path '/nix/store/38w6php27f3hp0dydx1xgj70zlb931w7-Distribution.lean' to 'ssh-ng://'...
copying path '/nix/store/3jy7a9gxj9alvn9ywfz2ki8p0ginc39i-UnionFind.lean' to 'ssh-ng://'...
copying path '/nix/store/4239szwyz8s0l22zprlwzjgs7a886czb-OneShot.lean' to 'ssh-ng://'...
copying path '/nix/store/5nv3fdpyggv27z8k7m8apcfrwgnylk72-StoreCmd.lean' to 'ssh-ng://'...
copying path '/nix/store/6m5mzbxs6kmj7vjkrdg547ck3n7cx3d7-Cli.lean' to 'ssh-ng://'...
copying path '/nix/store/6y0whjk7zzbjd39fahrgb9aqicl3jmxm-Common.lean' to 'ssh-ng://'...
copying path '/nix/store/873d20ldkl3ljk4avv6h9mx3an2d6whm-GraphM.lean' to 'ssh-ng://'...
copying path '/nix/store/8f2s6ajs8chkl87l92gfvna59mjh0bvl-Data.lean' to 'ssh-ng://'...
copying path '/nix/store/8fay9gh1n86q2afvl25xl748p26mdh1x-FFIConsistency.lean' to 'ssh-ng://'...
copying path '/nix/store/8gf4l58hdb0bwy1g30izvddzh86pbn1f-Term.lean' to 'ssh-ng://'...
copying path '/nix/store/9xh5fw080sh29gad6r3rnhn9hkqkcb9m-Cronos.lean' to 'ssh-ng://'...
copying path '/nix/store/a92ml164q7l9jsx11wrxk7cpahxsiqfl-Bench.lean' to 'ssh-ng://'...
copying path '/nix/store/ahg7n9g7rpzx6rmdybkaf0r94znz89ha-Ix.lean' to 'ssh-ng://'...
copying path '/nix/store/ap8rcxh9kr8cpy2zzydg44rfbf5w6rz0-Common.lean' to 'ssh-ng://'...
copying path '/nix/store/aqr96z89xqnsi3i1xklc54cjhwi0md3h-Inductives.lean' to 'ssh-ng://'...
copying path '/nix/store/ar5dmya56jxpsscrihywlbzz7ysxrq7d-DecompileM.lean' to 'ssh-ng://'...
copying path '/nix/store/bxy2r8qkk7n1dcwj5z44cvxrw10infw1-Ix.lean' to 'ssh-ng://'...
copying path '/nix/store/f1vq14wjnnq9210j8pfbmbk49sjkbkmp-Check.lean' to 'ssh-ng://'...
copying path '/nix/store/hj21pn1jfsfhf1dm7nn2hnj2izsjmlr7-Ixon.lean' to 'ssh-ng://'...
copying path '/nix/store/i91hvlbq0ikps6byqlgfmbg1xnznjznj-IxVM.lean' to 'ssh-ng://'...
copying path '/nix/store/ilaa9bhvwhsqca3n5vcr2jwqgsasqsmm-Store.lean' to 'ssh-ng://'...
copying path '/nix/store/j6qm9zm5x5mmmhvy4b0j5n6kssgljaq9-IR.lean' to 'ssh-ng://'...
copying path '/nix/store/j7xicxnr08ccjvkxqhm01058gizd6mm0-Tukey.lean' to 'ssh-ng://'...
copying path '/nix/store/jh6y8clvj0mrxnzi87wvzqsw28x96slj-Common.lean' to 'ssh-ng://'...
copying path '/nix/store/lgjl6w7bw2f91qd53c6548g8ijhbjf77-Estimate.lean' to 'ssh-ng://'...
copying path '/nix/store/n102ak3h8s6m2p9bscyxccs2cdl937gr-Match.lean' to 'ssh-ng://'...
copying path '/nix/store/nfh7rf578xddfmcviv3yv0h9cmavsvif-Mutual.lean' to 'ssh-ng://'...
copying path '/nix/store/pyyhmx0lvf2drkhxjkl0h0h5c7gnmy02-Common.lean' to 'ssh-ng://'...
copying path '/nix/store/v2i4j9lz8s1sfs9pgcjdjdzy2iakc2vy-Keccak.lean' to 'ssh-ng://'...
copying path '/nix/store/v8ahdlqjnfklyp4qsvsqsp0k5mbd0qfl-ConnectCmd.lean' to 'ssh-ng://'...
copying path '/nix/store/v8kc8idhzd31crmk295gic4dwqaksqvw-Change.lean' to 'ssh-ng://'...
copying path '/nix/store/vbajs9g3yi9qz8xqmyb3ikwdl5il895c-Serve.lean' to 'ssh-ng://'...
copying path '/nix/store/vln2s00737qplfgk3m44b3jvwmnmkp0h-ByteArray.lean' to 'ssh-ng://'...
copying path '/nix/store/w32fdj3nz9qywgb1pbpvz9vcs3x4spwp-ByteArray.lean' to 'ssh-ng://'...
copying path '/nix/store/w7v3p9gnk3kf8zqqm3jiajmpiz6balzs-Aiur.lean' to 'ssh-ng://'...
copying path '/nix/store/wxfxkkn8a7k8fv4lpmhksx90mwgb8ir4-Goldilocks.lean' to 'ssh-ng://'...
copying path '/nix/store/x5g7xzmmsql0rnk0fjhy9rfnj8pb6rwq-Canon.lean' to 'ssh-ng://'...
copying path '/nix/store/z4yjdlv8b5dnsykkkhv1iffwl1l4brg3-Export.lean' to 'ssh-ng://'...
building '/nix/store/47k4hk9gasby6xr9ialmy6pa7kh1xyw6-ix-deps.json.drv'...
copying 1 paths...
copying path '/nix/store/k4vm59rqsh59w8wfb8i1hdl80iynvpd9-ix-deps.json' from 'ssh-ng://'...
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))