From 829bdbbed8c25dd97bc35e34fa3a07dc28b63a07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=B2=20Boschi?= <boschi1997@gmail.com>
Date: Mon, 29 Jan 2024 10:14:06 +0100
Subject: [PATCH] improve report

---
 .github/workflows/run-benchmarks.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/run-benchmarks.yml b/.github/workflows/run-benchmarks.yml
index 58a330f6c..09e6e21c0 100644
--- a/.github/workflows/run-benchmarks.yml
+++ b/.github/workflows/run-benchmarks.yml
@@ -59,8 +59,7 @@ jobs:
           git checkout gh-pages
           git pull --rebase origin gh-pages
           mkdir -p benchmarks/reports
-          # create a dir with today and now in format yyyy-mm-dd HH:mm:ss
-          dir=benchmarks/reports/$(date +"%Y-%m-%d %H:%M:%S")
+          dir=benchmarks/reports/$(date +"%Y-%m-%d_%H-%M-%S")
           mkdir -p $dir
           cp /tmp/report.html $dir/report.html
           git commit -am "Update benchmarks ${{ github.run_id }} - $dir"