Fixes for test workflow

Author: yitzchak

.github/workflows/test.yml

@@ -21,7 +21,7 @@ jobs:
         - clasp
         - cando
         os:
-        - macos-latest
+        - macos-13
         - ubuntu-latest
         mode:
         - faso
@@ -41,9 +41,9 @@ jobs:
             auto: yes
           - mode: bytecode-faso
             auto: yes
-          - os: macos-latest
+          - os: macos-13
             mode: faso
-          - os: macos-latest
+          - os: macos-13
             mode: bytecode
             auto: no
 
@@ -57,15 +57,15 @@ jobs:
         sudo apt install -y binutils-gold clang-15 libclang-15-dev libclang-cpp15-dev llvm-15 llvm-15-dev libelf-dev libgmp-dev libunwind-dev ninja-build sbcl libnetcdf-dev libexpat1-dev libfmt-dev libboost-all-dev
 
     - name: Install MacOS dependencies
-      if: matrix.os == 'macos-latest'
+      if: matrix.os == 'macos-13'
       run: |
         brew update
         brew upgrade
-        brew install boost fmt gmp llvm@17 ninja pkg-config sbcl netcdf
+        brew install boost fmt gmp llvm ninja pkg-config sbcl netcdf
     - name: Checkout repository
       uses: actions/checkout@v4
 
-    - uses: conda-incubator/setup-miniconda@v3.0.1
+    - uses: conda-incubator/setup-miniconda@v3.0.4
       if: matrix.build == 'cando'
 
     - name: Install AmberTools
@@ -82,13 +82,13 @@ jobs:
       run: |
         ./koga --build-mode=${{ matrix.mode }} --extensions=cando,seqan-clasp
     - name: Clasp koga @ MacOS
-      if: ${{ matrix.os == 'macos-latest' && matrix.build == 'clasp' }}
+      if: ${{ matrix.os == 'macos-13' && matrix.build == 'clasp' }}
       run: |
-        ./koga --build-mode=${{ matrix.mode }} --llvm-config=/usr/local/opt/llvm@15/bin/llvm-config
+        ./koga --build-mode=${{ matrix.mode }}
     - name: Cando koga @ MacOS
-      if: ${{ matrix.os == 'macos-latest' && matrix.build == 'cando' }}
+      if: ${{ matrix.os == 'macos-13' && matrix.build == 'cando' }}
       run: |
-        ./koga --build-mode=${{ matrix.mode }} --extensions=cando,seqan-clasp --llvm-config=/usr/local/opt/llvm@15/bin/llvm-config
+        ./koga --build-mode=${{ matrix.mode }} --extensions=cando,seqan-clasp
     - name: Build
       run: |
         ninja -C build