summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ci-prod.ick5
1 files changed, 3 insertions, 2 deletions
diff --git a/ci-prod.ick b/ci-prod.ick
index 7ed4797..bf93706 100644
--- a/ci-prod.ick
+++ b/ci-prod.ick
@@ -1335,9 +1335,10 @@ pipelines:
shell: |
apt-get update
apt-get install -y obnam-benchmark pandoc
- mkdir -p publish
+ rm -rf publish
+ mkdir publish
cd src
- ./report.sh *.json > ../publish/obnam-benchmark.html
+ ./report.sh *.json > ../publish/index.html
find ../publish -type f -exec chmod 0644 '{}' +
- where: host