File tree Expand file tree Collapse file tree 2 files changed +0
-6
lines changed Expand file tree Collapse file tree 2 files changed +0
-6
lines changed Original file line number Diff line number Diff line change @@ -161,9 +161,6 @@ jobs:
161161 # It's faster to use a cached version
162162 run : opam install --fake binaryen-bin
163163
164- - name : pin dune
165- run : opam pin add dune https://github.com/hhugo/dune.git#jsoo-shape2
166-
167164 - run : opam install . --best-effort --solver builtin-mccs+glpk
168165 if : ${{ matrix.skip-test }}
169166
Original file line number Diff line number Diff line change @@ -111,9 +111,6 @@ jobs:
111111 - run : opam install conf-pkg-config conf-mingw-w64-gcc-i686 conf-mingw-w64-g++-x86_64
112112 if : runner.os == 'Windows'
113113
114- - name : pin dune
115- run : opam pin add dune https://github.com/hhugo/dune.git#jsoo-shape2
116-
117114 - name : Pin wasm_of_ocaml
118115 working-directory : ./wasm_of_ocaml
119116 run : opam pin . -n --with-version dev
You can’t perform that action at this time.
0 commit comments