Fixing workflow

Author: msoos

.github/workflows/cmake-single-platform.yml

@@ -136,18 +136,22 @@ jobs:
         cmake --build . --config ${{matrix.build_type}} -v
         cd ../..
 
-    - name: Checkout BRiAl
-      uses: actions/checkout@v4
-      with:
-        repository: BRiAl/BRiAl
-        ref: master
-        path: BRiAl
-        submodules: 'true'
+    - name: Install m4ri
+      run: |
+        wget https://github.com/malb/m4ri/releases/download/20250128/m4ri-20250128.tar.gz
+        tar xzvf m4ri-20250128.tar.gz
+        cd m4ri-20250128
+        ./configure --enable-static --enable-shared
+        make -j8
+        sudo make install
+        cd ..
 
-    - name: Build BRiAl
+    - name: Install BRiAl
       run: |
-        cd BRiAl
-        ./bootstrap.sh
+        wget https://github.com/BRiAl/BRiAl/releases/download/1.2.12/brial-1.2.12.tar.bz2
+        tar xzvf brial-1.2.12.tar.bz2
+        cd brial-1.2.12
+        ./configure --enable-static --enable-shared
         make -j8
         sudo make install
         cd ..