CI: use git grep instead of ripgrep, and enforce bash

Author: dannywillems

.github/scripts/check-ocaml-refs.sh

@@ -62,7 +62,7 @@ echo "Current OCaml commit: ${CURRENT_COMMIT}"
 
 # Find all Rust files with OCaml references
 cd "${RUST_ROOT}"
-RUST_FILES=$(rg -l "^/// OCaml reference:" --type rust || true)
+RUST_FILES=$(git grep -l -E "^/// OCaml reference:" "*.rs" "**/*.rs" || true)
 
 if [ -z "$RUST_FILES" ]; then
     echo "No OCaml references found in Rust code"

.github/workflows/check-ocaml-refs.yaml

@@ -40,14 +40,12 @@ jobs:
       - name: Checkout repository
         uses: actions/checkout@v5
 
-      - name: Install ripgrep
-        run: sudo apt-get update && sudo apt-get install -y ripgrep
-
       - name: Run OCaml reference validation
         id: check
         env:
           OCAML_REPO: ${{ github.event.inputs.repo || 'https://github.com/MinaProtocol/mina.git' }}
           OCAML_BRANCH: ${{ github.event.inputs.branch || 'compatible' }}
+        shell: bash
         run: |
           set +e
           # Capture output to file