Skip to content

Commit 3babdc4

Browse files
committed
Misc: pin dune
1 parent b8b75b9 commit 3babdc4

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

.github/workflows/js_of_ocaml.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -145,6 +145,9 @@ jobs:
145145
# It's faster to use a cached version
146146
run: opam install --fake binaryen-bin
147147

148+
- name: pin dune
149+
run: opam pin add dune https://github.com/hhugo/dune.git#jsoo-shape2
150+
148151
- run: opam install . --best-effort --solver builtin-mccs+glpk
149152
if: ${{ matrix.skip-test }}
150153

.github/workflows/wasm_of_ocaml.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff 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

0 commit comments

Comments
 (0)