diff options
-rw-r--r-- | ci-prod.ick | 3 |
1 files changed, 2 insertions, 1 deletions
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 '{}' + |