Skip to content

Commit eed6b65

Browse files
committed
Misc: pin dune
1 parent 61307cd commit eed6b65

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

.github/workflows/build-wasm_of_ocaml.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,9 @@ jobs:
9797
- run: opam install conf-pkg-config conf-mingw-w64-gcc-i686 conf-mingw-w64-g++-x86_64
9898
if: runner.os == 'Windows'
9999

100+
- name: pin dune
101+
run: opam pin add dune https://github.com/hhugo/dune.git#jsoo-shape2
102+
100103
- name: Pin wasm_of_ocaml
101104
working-directory: ./wasm_of_ocaml
102105
run: opam pin . -n --with-version dev

.github/workflows/build.yml

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

129+
- name: pin dune
130+
run: opam pin add dune https://github.com/hhugo/dune.git#jsoo-shape2
131+
129132
- run: opam install . --best-effort --solver builtin-mccs+glpk
130133
if: ${{ matrix.skip-test }}
131134

0 commit comments

Comments
 (0)