diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7cbbc813d1d0fc6219cf7bccd687b1939520237a..bc19f6f410ed3824a4ec4c5fa7c222ec8ca393fc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -47,6 +47,10 @@ build-coq.8.7:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.7.0"
+  artifacts:
+    paths:
+    - build-time.txt
+    - build-env.txt
 
 build-coq.8.6.1:
   <<: *template