From 45bd5c0d660319a8f7e709a8850fbaa9d78f5156 Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Thu, 25 Jun 2026 13:56:05 -0400
Subject: [PATCH] macOS: Ensure all binaries are code signed

Fixes #98.
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9f141b1..9c6d312 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -129,7 +129,7 @@ jobs:
             --force \
             --options runtime \
             --sign "$IDENTITY_NAME" \
-            bin/${{ matrix.solver }}
+            bin/*
 
       - name: test_solver (non-Windows)
         run: ./scripts/test-solvers.sh test_solver ${{ matrix.solver }} bin