Commit 4262355 1 parent 8c85774 commit 4262355 Copy full SHA for 4262355
File tree 1 file changed +0
-7
lines changed
1 file changed +0
-7
lines changed Original file line number Diff line number Diff line change @@ -10,16 +10,9 @@ RUN wget https://nodejs.org/dist/v22.14.0/node-v22.14.0-linux-x64.tar.xz && \
10
10
tar xJvf node-v22.14.0-linux-x64.tar.xz && \
11
11
sudo cp node-v22.14.0-linux-x64/bin/node /usr/bin/node
12
12
COPY --chown=opam:opam ./*.opam ./VERSION ./
13
- RUN opam exec -- git init && \
14
- opam exec -- git add . && \
15
- opam exec -- git commit -m dummy && \
16
- opam exec -- git tag -a $(cat VERSION)-dev -m dummy
17
13
RUN opam pin -yn --with-version=dev .
18
14
RUN opam install -y --deps-only js_of_ocaml-compiler && \
19
15
opam install -y binaryen-bin
20
16
COPY --chown=opam:opam . ./
21
- RUN opam exec -- git add . && \
22
- opam exec -- git commit -m dummy && \
23
- opam exec -- git tag -a $(cat VERSION)-dev-2 -m dummy
24
17
RUN opam install -y wasm_of_ocaml-compiler
25
18
WORKDIR ./benchmarks
You can’t perform that action at this time.
0 commit comments