diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-04-30 14:27:19 +0300 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-05-02 15:32:54 +0300 |
| commit | ef3bec98c7ad44672dc5e6816acb2143130ebf72 (patch) | |
| tree | b54aad989c4df475f4dcb4402408b050772018b2 /zkvms_guest_io/default.nix | |
| parent | e7ab4fd7b8b1bc870630b95c8d872131f4a8ea45 (diff) | |
| download | zkVMs-benchmarks-ef3bec98c7ad44672dc5e6816acb2143130ebf72.tar zkVMs-benchmarks-ef3bec98c7ad44672dc5e6816acb2143130ebf72.tar.gz zkVMs-benchmarks-ef3bec98c7ad44672dc5e6816acb2143130ebf72.zip | |
feat(zkvms_guest_io): Add "metadata" fields to metrics output
These are the zkvm name, rev, guest name and benchmarks repo rev
Diffstat (limited to 'zkvms_guest_io/default.nix')
| -rw-r--r-- | zkvms_guest_io/default.nix | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/zkvms_guest_io/default.nix b/zkvms_guest_io/default.nix index bce5a9c..b9ba3cc 100644 --- a/zkvms_guest_io/default.nix +++ b/zkvms_guest_io/default.nix @@ -1,4 +1,4 @@ -{ craneLib-default, guest, zkvms, hostPackages, lib, benchexec, }: +{ rev, craneLib-default, guest, zkvms, hostPackages, lib, metacraft-labs, benchexec, }: let commonArgs = { name = "${guest}"; @@ -13,7 +13,16 @@ let }; PROGRAMS = lib.foldr (zkvm: accum: - hostPackages."${zkvm}/${guest}" + "/bin/${zkvm}_${guest}," + accum) "" + (builtins.concatStringsSep + "|" + [ + zkvm + metacraft-labs.${zkvm}.src.rev + guest + rev + (hostPackages."${zkvm}/${guest}" + "/bin/${zkvm}_${guest}") + ] + ) + "," + accum) "" zkvms; postPatch = '' |