update metrics filename

GrammaTech · Oct 30, 2024 · 88a487a · 88a487a
1 parent 415a2be
commit 88a487a
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