Skip to content

Commit c929312

Browse files
authored
CI: remove vendored lib, pin ppx_expect instead (#1158)
1 parent f80c50d commit c929312

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

69 files changed

+2
-4647
lines changed

.github/workflows/build.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -61,6 +61,8 @@ jobs:
6161
opam-depext: ${{ !matrix.skip-test }}
6262
opam-depext-flags: --with-test
6363

64+
- run: opam pin add ppx_expect https://github.com/hhugo/ppx_expect.git#v0.14.1+winfix --no-action
65+
6466
- run: opam install . --best-effort
6567
if: ${{ matrix.skip-test }}
6668

vendor/ppx_expect/.gitignore

Lines changed: 0 additions & 5 deletions
This file was deleted.

vendor/ppx_expect/CHANGES.md

Lines changed: 0 additions & 142 deletions
This file was deleted.

vendor/ppx_expect/CONTRIBUTING.md

Lines changed: 0 additions & 67 deletions
This file was deleted.

vendor/ppx_expect/LICENSE.md

Lines changed: 0 additions & 21 deletions
This file was deleted.

vendor/ppx_expect/Makefile

Lines changed: 0 additions & 17 deletions
This file was deleted.

0 commit comments

Comments
 (0)