Track timing artifacts.

d1ed4cb3 · Janno · 7a2cf9c6 · d1ed4cb3
Commit d1ed4cb3 authored 8 years ago by Janno
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,3 +19,6 @@ gps-coq8.6:
  - master
  - /^bench-.*$/
  - opam-ci
+   artifacts:
+     paths:
+     - build-time.txt
\ No newline at end of file