Pin dune

ocsigen · Nov 29, 2024 · 36506af · 36506af
1 parent dda322a
commit 36506af
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -112,6 +112,10 @@ jobs:
           dune-cache: true
           opam-pin: false
 
+      - name: Pin dune
+        run: |
+          opam pin add dune.3.17 https://github.com/ocaml/dune.git#3.17
+
       - run: opam install conf-pkg-config
         if: runner.os == 'Windows'