Skip to content

Commit 887bb01

Browse files
committed
Pin dune
1 parent 5448903 commit 887bb01

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

.github/workflows/build.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -89,6 +89,10 @@ jobs:
8989
dune-cache: true
9090
opam-pin: false
9191

92+
- name: Pin dune
93+
run: |
94+
opam pin add -n dune https://github.com/vouillon/dune.git#expect-test-deps
95+
9296
- run: opam install conf-pkg-config
9397
if: runner.os == 'Windows'
9498

0 commit comments

Comments
 (0)