From ef3bec98c7ad44672dc5e6816acb2143130ebf72 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Wed, 30 Apr 2025 14:27:19 +0300
Subject: feat(zkvms_guest_io): Add "metadata" fields to metrics output

These are the zkvm name, rev, guest name and benchmarks repo rev
---
 zkvms_guest_io/default.nix | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to 'zkvms_guest_io/default.nix')

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 = ''
-- 
cgit v1.2.3