From bcde3d1726a1ffee3d39ef22e1d12d86c2842ece Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 24 Aug 2020 14:34:37 +0200
Subject: Perform a few tweaks to make the bench script work properly.

---
 .gitlab-ci.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ed944366f1..3449d9547b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -939,14 +939,13 @@ bench:
   tags:
     - timing
   variables:
+    GIT_DEPTH: ""
     coq_pr_number: ""
     coq_pr_comment_id: ""
     new_ocaml_switch: "ocaml-base-compiler.4.07.1"
     old_ocaml_switch: "ocaml-base-compiler.4.07.1"
     new_coq_repository: "https://gitlab.com/coq/coq.git"
     old_coq_repository: "https://gitlab.com/coq/coq.git"
-    new_coq_commit: "$CI_COMMIT_SHA"
-    old_coq_commit: "master"
     new_coq_opam_archive_git_uri: "https://github.com/coq/opam-coq-archive.git"
     old_coq_opam_archive_git_uri: "https://github.com/coq/opam-coq-archive.git"
     new_coq_opam_archive_git_branch: "master"
-- 
cgit v1.2.3


From 0b86f6e8a4b6c5da33471f32213795a42af39d1a Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 24 Aug 2020 15:32:01 +0200
Subject: Bench: artifact logs

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3449d9547b..d0c2910c6b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -956,5 +956,6 @@ bench:
     name: "$CI_JOB_NAME"
     paths:
       - _bench/html/**/*.v.html
+      - _bench/logs
     when: always
     expire_in: 1 year
-- 
cgit v1.2.3