From 4b750f66312edcbf722f7bfce5c7edf2579ba9f3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= Date: Mon, 16 Oct 2023 16:01:51 +0200 Subject: [PATCH] bench 8.18 vs 8.17 --- 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 43dbb86588b32..de7ff7dd474ab 100755 --- a/dev/bench/bench.sh +++ b/dev/bench/bench.sh @@ -72,8 +72,8 @@ check_variable () { : "${coq_opam_packages:=coq-bignums coq-hott coq-performance-tests-lite coq-engine-bench-lite coq-mathcomp-ssreflect coq-mathcomp-fingroup coq-mathcomp-algebra coq-mathcomp-solvable coq-mathcomp-field coq-mathcomp-character coq-mathcomp-odd-order coq-math-classes coq-corn coq-compcert coq-equations coq-metacoq-template coq-metacoq-pcuic coq-metacoq-safechecker coq-metacoq-erasure coq-metacoq-translations coq-color coq-coqprime coq-coqutil coq-bedrock2 coq-rewriter coq-fiat-core coq-fiat-parsers coq-fiat-crypto-with-bedrock coq-unimath coq-coquelicot coq-iris-examples coq-verdi coq-verdi-raft coq-fourcolor coq-rewriter-perf-SuperFast coq-perennial coq-vst coq-category-theory}" : "${coq_native:=}" -: "${new_coq_commit:=$(git rev-parse HEAD^2)}" -: "${old_coq_commit:=$(git merge-base HEAD^1 $new_coq_commit)}" +: "${new_coq_commit:=$(git rev-parse V8.18.0)}" +: "${old_coq_commit:=336b7fc9bcd7e0a5671a6724c7112d775369ef9f}" new_ocaml_switch=ocaml-base-compiler.$new_ocaml_version old_ocaml_switch=ocaml-base-compiler.$old_ocaml_version