Update GitHub Actions workflow to use CMake build system

Author: msoos

.github/workflows/build.yml

@@ -21,18 +21,17 @@ jobs:
         key: ${{ matrix.os }}
 
     - name: Configure
-      run: CXXFLAGS=-fPIC CXX="ccache c++" ./configure
+      run: |
+        cmake -S . -B build \
+          -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \
+          -DCMAKE_BUILD_TYPE=Release
 
     - name: Build
-      run: make -j8
-
-    - name: Smoke test
-      run: build/cadical --help
+      run: cmake --build build -j8
 
     - name: Upload artifacts
       uses: actions/upload-artifact@v4
       with:
         name: cadical-libs-${{ matrix.os }}
         path: |
           build/libcadical.a
-          build/libcadical.so