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 @@ -145,6 +145,9 @@ jobs:
145
145
# It's faster to use a cached version
146
146
run : opam install --fake binaryen-bin
147
147
148
+ - name : pin dune
149
+ run : opam pin add dune https://github.com/hhugo/dune.git#jsoo-shape2
150
+
148
151
- run : opam install . --best-effort --solver builtin-mccs+glpk
149
152
if : ${{ matrix.skip-test }}
150
153
Original file line number Diff line number Diff line change @@ -107,6 +107,9 @@ jobs:
107
107
- run : opam install conf-pkg-config conf-mingw-w64-gcc-i686 conf-mingw-w64-g++-x86_64
108
108
if : runner.os == 'Windows'
109
109
110
+ - name : pin dune
111
+ run : opam pin add dune https://github.com/hhugo/dune.git#jsoo-shape2
112
+
110
113
- name : Pin wasm_of_ocaml
111
114
working-directory : ./wasm_of_ocaml
112
115
run : opam pin . -n --with-version dev
You can’t perform that action at this time.
0 commit comments