Update .github/workflows/ci.yml

Co-authored-by: Kate <kit.ty.kate@disroot.org>

.github/workflows/ci.yml

@@ -36,7 +36,13 @@ jobs:
           opam pin add owl-ode.dev . --no-action
           opam pin add owl-ode-odepack.dev . --no-action
 
-      - run: opam depext --yes --with-test owl-ode-base owl-ode owl-ode-odepack
+      - run: |
+          brew list
+          opam depext --yes --with-test owl-ode-base owl-ode owl-ode-odepack
+          brew list
+          ls /usr/local/bin
+          gfortran --version
+          which gfortran
 
       - run: |
           opam install owl-ode-base --deps-only --with-test
@@ -52,4 +58,4 @@ jobs:
           # there seems to be sandboxing issues with conf-gfortran
           opam install owl-ode odepack
           opam exec -- dune build -p owl-ode-odepack
-          opam exec -- dune runtest -p owl-ode-odepack
+          opam exec -- dune runtest -p owl-ode-odepack