Merge branch 'fix-metric' into 'main'

update metrics filename See merge request rewriting/ddisasm!1227
GrammaTech · Oct 31, 2024 · 17396b5 · 17396b5
2 parents 415a2be + 88a487a
commit 17396b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.ci/arm-benchmark.yml b/.ci/arm-benchmark.yml
@@ -47,4 +47,4 @@ results:
     - unzip artifacts.zip
   artifacts:
     reports:
-      metrics: metrics.txt
+      metrics: metrics-ddisasm-yaml.txt