Skip to content

Commit

Permalink
cache hack
Browse files Browse the repository at this point in the history
  • Loading branch information
3Rafal committed Jul 4, 2023
1 parent b70967b commit 20eaf82
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions bench.Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ 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)
Expand Down

0 comments on commit 20eaf82

Please sign in to comment.