From 6c6e66ba4518b3b99513a3cea2555f283d00ea23 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rafa=C5=82=20Gwo=C5=BAdzi=C5=84ski?= Date: Tue, 4 Jul 2023 15:22:20 +0200 Subject: [PATCH] Remove cache hack leftover --- bench.Dockerfile | 1 - 1 file changed, 1 deletion(-) diff --git a/bench.Dockerfile b/bench.Dockerfile index 4658599bfe..2529dcbdae 100644 --- 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)