try macos [release]

Author: arijitsh

.github/workflows/build.yml

@@ -1,4 +1,4 @@
-name: Build and Test
+name: Build
 
 on:
   push:
@@ -108,7 +108,10 @@ jobs:
       - name: Cache built deps
         uses: actions/cache@v4
         with:
-          path: build/deps_install
+          path: |
+            build/deps_install
+            deps/cadical
+            deps/cadiback
           key: deps-${{ matrix.name }}-${{ hashFiles('deps/**/*.txt', 'deps/**/*.cmake', 'deps/**/CMakeLists.txt') }}
           restore-keys: deps-${{ matrix.name }}-macOS-
 
@@ -136,7 +139,7 @@ jobs:
           path: build/skolemfc
 
   release:
-    needs: build-linux
+    needs: [build-linux, build-macos]
     runs-on: ubuntu-latest
     if: github.event_name == 'push' && contains(github.event.head_commit.message, '[release]')
     permissions:
@@ -157,16 +160,25 @@ jobs:
           name: skolemfc-linux-amd64
           path: artifacts/linux
 
+      - name: Download macOS artifact
+        uses: actions/download-artifact@v4
+        with:
+          name: skolemfc-macos-arm64
+          path: artifacts/macos
+
       - name: Prepare release artifacts
         run: |
           set -euo pipefail
           strip artifacts/linux/skolemfc
           zip -j artifacts/skolemfc-linux-amd64.zip artifacts/linux/skolemfc
+          zip -j artifacts/skolemfc-macos-arm64.zip artifacts/macos/skolemfc
 
       - name: Create Release
         uses: softprops/action-gh-release@v2
         with:
           tag_name: v${{ steps.version.outputs.version }}
           name: SkolemFC v${{ steps.version.outputs.version }}
           generate_release_notes: true
-          files: artifacts/skolemfc-linux-amd64.zip
+          files: |
+            artifacts/skolemfc-linux-amd64.zip
+            artifacts/skolemfc-macos-arm64.zip