diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 94b94ae96..3287f648e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -26,6 +26,10 @@ jobs: - name: Checkout code uses: actions/checkout@v2 + - name: Install pcre (only MacOS) + if: ${{ runner.os }} == 'macos-latest' + run: pcre-config --version + - name: Use OCaml ${{ matrix.ocaml-compiler }} uses: ocaml/setup-ocaml@v2 with: