Skip to content

Commit 80dbe17

Browse files
committed
WIP
1 parent a448f8f commit 80dbe17

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

bench.Dockerfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ RUN mkdir janestreet \
2929
&& cd janestreet \
3030
&& git clone --depth 20 https://github.com/janestreet/opam-repository \
3131
&& cd opam-repository \
32-
&& git checkout 41c89c7824533f6b63cc5b6d75e6ddb1441d1520 \
32+
&& git checkout 2819773f29b6f6c14b918eae3cb40c8ff6b22d0e \
3333
&& opam remote add js .
3434

3535
# Install dependencies

0 commit comments

Comments
 (0)