diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e8044f68da732fec2079ab1ba60b8a7bdf74ce93..6a458e26467033fb89fd191003fc7f1a3edfec63 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,3 +19,6 @@ iris-coq8.6:
   - master
   - ci
   - timing
+  artifacts:
+    paths:
+    - build-time.txt