We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 95581df + 6c6e66b commit de7767bCopy full SHA for de7767b
bench.Dockerfile
@@ -12,7 +12,6 @@ RUN eval $(opam env)
12
RUN opam install .
13
14
# install merl-an
15
-RUN echo "uncache this thing"
16
RUN opam pin -y merl-an https://github.com/pitag-ha/merl-an.git
17
18
RUN eval $(opam env)
0 commit comments