bench: merl-an cache workaround (ocaml#1648)

from 3Rafal/fresh-merl-an
voodoos · Jul 5, 2023 · 3110e88 · 3110e88
2 parents de7767b + 8887493
commit 3110e88
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/bench.Dockerfile b/bench.Dockerfile
@@ -12,6 +12,8 @@ RUN eval $(opam env)
 RUN opam install .
 
 # install merl-an
+## cache workaround: https://github.com/ocurrent/current-bench/issues/468#issuecomment-1621030354
+ADD https://api.github.com/repos/pitag-ha/merl-an/git/refs/heads/main .merl-an-info
 RUN opam pin -y merl-an https://github.com/pitag-ha/merl-an.git
 
 RUN eval $(opam env)