bench with sort poly overlays

SkySkimmer · Sep 26, 2023 · d80f8d8 · d80f8d8
1 parent 44cd327
commit d80f8d8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dev/bench/bench.sh b/dev/bench/bench.sh
@@ -63,9 +63,9 @@ check_variable () {
 : "${old_ocaml_version:=4.09.1}"
 : "${new_coq_repository:=$CI_REPOSITORY_URL}"
 : "${old_coq_repository:=$CI_REPOSITORY_URL}"
-: "${new_coq_opam_archive_git_uri:=https://github.com/coq/opam-coq-archive.git}"
+: "${new_coq_opam_archive_git_uri:=https://github.com/skyskimmer/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}"
+: "${new_coq_opam_archive_git_branch:=sort-poly}"
 : "${old_coq_opam_archive_git_branch:=master}"
 : "${num_of_iterations:=1}"
 : "${timeout:=3h}"