Skip to content

Commit e6a110c

Browse files
committed
CI: pin zarith, fix windows failure
1 parent ef51a42 commit e6a110c

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

.github/workflows/build.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -101,6 +101,9 @@ jobs:
101101
opam-depext: ${{ !matrix.skip-test }}
102102
opam-depext-flags: --with-test
103103

104+
- run: opam pin add zarith git+https://github.com/dra27/Zarith.git#windows-cc
105+
if: runner.os == 'Windows'
106+
104107
- run: opam install . --best-effort
105108
if: ${{ matrix.skip-test }}
106109

0 commit comments

Comments
 (0)