fix duplicated benchmark name problem

2024-12-01 15:30:45 +01:00 · 2024-12-01 15:30:45 +01:00 · 9a2ceb7220
parent 689537a0d2
commit 9a2ceb7220
1 changed files with 2 additions and 1 deletions
--- a/.github/workflows/benchmark.yml
+++ b/.github/workflows/benchmark.yml
@ -62,7 +62,8 @@ jobs:
              next
            }
            { print }
-          ' duplicate_benchmarks.txt output.txt > output.txt
+          ' duplicate_benchmarks.txt output.txt > output_prefixed.txt
+          mv output_prefixed.txt output.txt
      ### end

      # NOTE: Benchmarks could change with different CPU types