File tree Expand file tree Collapse file tree 2 files changed +6
-0
lines changed Expand file tree Collapse file tree 2 files changed +6
-0
lines changed Original file line number Diff line number Diff line change @@ -152,6 +152,9 @@ jobs:
152152 # It's faster to use a cached version
153153 run : opam install --fake binaryen-bin
154154
155+ - name : pin dune
156+ run : opam pin add dune https://github.com/hhugo/dune.git#jsoo-shape2
157+
155158 - run : opam install . --best-effort --solver builtin-mccs+glpk
156159 if : ${{ matrix.skip-test }}
157160
Original file line number Diff line number Diff line change @@ -107,6 +107,9 @@ jobs:
107107 - run : opam install conf-pkg-config conf-mingw-w64-gcc-i686 conf-mingw-w64-g++-x86_64
108108 if : runner.os == 'Windows'
109109
110+ - name : pin dune
111+ run : opam pin add dune https://github.com/hhugo/dune.git#jsoo-shape2
112+
110113 - name : Pin wasm_of_ocaml
111114 working-directory : ./wasm_of_ocaml
112115 run : opam pin . -n --with-version dev
You can’t perform that action at this time.
0 commit comments