Remove cache hack leftover

voodoos · Jul 4, 2023 · 6c6e66b · 6c6e66b
1 parent 95581df
commit 6c6e66b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/bench.Dockerfile b/bench.Dockerfile
@@ -12,7 +12,6 @@ RUN eval $(opam env)
 RUN opam install .
 
 # install merl-an
-RUN echo "uncache this thing"
 RUN opam pin -y merl-an https://github.com/pitag-ha/merl-an.git
 
 RUN eval $(opam env)