Print pcre-config

ml-in-barcelona · Aug 8, 2023 · 8d6f89a · 8d6f89a
1 parent 601d36c
commit 8d6f89a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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: