From 73de141186ac153e9605e0b00a31d6e89812908f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Fri, 6 Dec 2024 15:31:05 +0100
Subject: [PATCH] bench NEW=2024-12-06 OLD=2024-10-09

last time was #19347
---
 dev/bench/bench.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev/bench/bench.sh b/dev/bench/bench.sh
index 19b2b2ae04eb..cfd984823355 100755
--- a/dev/bench/bench.sh
+++ b/dev/bench/bench.sh
@@ -58,8 +58,8 @@ check_variable () {
 : "${old_opam_override_urls:=}"
 
 if [ "$CI" ]; then
-  : "${new_coq_commit:=$(git rev-parse HEAD^2)}"
-  : "${old_coq_commit:=$(git merge-base HEAD^1 $new_coq_commit)}"
+  : "${new_coq_commit:=476460fb01e3f40edf2f4a63470d0cbbd1d89f7a}"
+  : "${old_coq_commit:=1d77a8830d03d3c050af9b9442e707b8cfcf2576}"
 else
   echo New coq commit:
   read -r new_coq_commit