From 8d6f89af106ab08d7b3b654f134ee235940d389e Mon Sep 17 00:00:00 2001
From: David Sancho Moreno <dsnxmoreno@gmail.com>
Date: Tue, 8 Aug 2023 16:25:54 +0200
Subject: [PATCH] Print pcre-config

---
 .github/workflows/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

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: