From 99c4ef52726f5d158a208b81fa3c4746a4060503 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Sun, 16 Jan 2022 14:27:18 +0200
Subject: fix?

Sponsored-by: author
---
 ci-prod.ick | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ci-prod.ick b/ci-prod.ick
index 1c313a0..b836cdf 100644
--- a/ci-prod.ick
+++ b/ci-prod.ick
@@ -1338,7 +1338,8 @@ pipelines:
           rm -rf publish
           mkdir publish
           cd src
-          ./report.sh *.json > ../publish/index.html
+          ./report.sh *.json
+          mv obnam-benchmark.html> ../publish/index.html
           cat ../publish/index.html
           find ../publish -type f -exec chmod 0644 '{}' +
 
-- 
cgit v1.2.1