Fix issues in the GitHub Actions runner for MacOS (#843)

* Remove unused opam package caching

* Use newer versions of existing actions

* Use non-ARM runner for MacOS

* Increase timeout for MacOS runner

.github/workflows/main.yml

@@ -11,25 +11,19 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - name: Install OCaml and opam for Miking
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ocaml-base-compiler.5.0.0
 
       - name: Install Java
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           distribution: 'temurin'
           java-version: '17'
 
-      - name: Cache opam packages
-        uses: actions/cache@v3
-        with:
-          path: ~/.opam
-          key: ${{ runner.os }}-opam-build
-
       - name: Install opam packages
         run: |
           # Install dependencies of owl
@@ -51,32 +45,26 @@ jobs:
           make test-all
 
   build-and-test-mac-os:
-    runs-on: macos-latest
+    runs-on: macos-13
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - name: Install OCaml and opam for Miking
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ocaml-base-compiler.5.0.0
 
       - name: Install Java
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           distribution: 'temurin'
           java-version: '17'
 
-      - name: Cache opam packages
-        uses: actions/cache@v3
-        with:
-          path: ~/.opam
-          key: ${{ runner.os }}-opam-build
-
       - name: Install opam packages
         run: |
           # Install dependencies of owl
-          brew install pkg-config
+          brew install pkg-config autoconf openblas
 
           # Export environment variable needed by openblas
           export PKG_CONFIG_PATH=$(brew --prefix openblas)/lib/pkgconfig
@@ -89,7 +77,7 @@ jobs:
           opam install -y dune linenoise pyml toml lwt owl ocamlformat.0.24.1
 
       - name: Build Miking
-        timeout-minutes: 10
+        timeout-minutes: 30
         run: |
           eval $(opam env)
           make install