Update build.yml

ocsigen · Jun 19, 2024 · 5dfdd5f · 5dfdd5f
1 parent 8cbc636
commit 5dfdd5f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -90,6 +90,9 @@ jobs:
           dune-cache: true
           allow-prerelease-opam: true
 
+      - run: opam pin add mingw-w64-shims git+https://github.com/dra27/mingw-w64-shims.git#internals
+        if: ${{ runner.os == 'Windows' }}
+
       - run: opam install . --best-effort
         if: ${{ matrix.skip-test }}