From 939a29f204e7593f6d3e895ea3af035bba518ca9 Mon Sep 17 00:00:00 2001
From: Kareem Khazem <karkhaz@amazon.com>
Date: Fri, 21 Apr 2023 18:25:48 +0100
Subject: [PATCH] Dump full benchcomp YAML results in CI (#2401)

This ensures that users can copy-and-paste the benchcomp results and investigate them locally.
---
 tools/benchcomp/configs/perf-regression.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/benchcomp/configs/perf-regression.yaml b/tools/benchcomp/configs/perf-regression.yaml
index 4f7b185d4e46..1a6141d287ea 100644
--- a/tools/benchcomp/configs/perf-regression.yaml
+++ b/tools/benchcomp/configs/perf-regression.yaml
@@ -28,6 +28,8 @@ run:
       variants: [kani_old, kani_new]
 
 visualize:
+  - type: dump_yaml
+
   - type: error_on_regression
     variant_pairs: [[kani_old, kani_new]]
     checks: