diff benchmark/run_and_view.jl @ 1179:d6038ceba882 tooling/benchmarks

Better file names för results
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 27 Jan 2023 11:27:48 +0100
parents 5c34dfc73b37
children 37f29a3a78dc
line wrap: on
line diff
--- a/benchmark/run_and_view.jl	Fri Jan 27 11:19:58 2023 +0100
+++ b/benchmark/run_and_view.jl	Fri Jan 27 11:27:48 2023 +0100
@@ -45,7 +45,7 @@
 end
 
 function write_result_html(r)
-    dt = Dates.format(PkgBenchmark.date(r), "yyyy-mm-dd HH:MM:SS")
+    dt = Dates.format(PkgBenchmark.date(r), "yyyy-mm-dd HHMMSS")
     file_path = joinpath(results_dir, dt*".html")
 
     open(file_path, "w") do io