diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 71be24180a3dd6cd78b152f4ce4c468440e0fc8f..eac963738bd78afe56c6336530b593285ec9ffad 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,6 +20,7 @@ default:
       - results
       - config
       - .env
+      - summary.txt
     reports:
       dotenv: .env
 
@@ -126,6 +127,7 @@ summary:
     - "backgrounds:results"
   script:
     - collect_benchmarks.py
+    - find results -print | sort | tee summary.txt
   artifacts:
     paths:
       - results/*