diff options
-rw-r--r-- | ci-prod.ick | 5 |
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 |