From 8bd9bcf04736acec802200c6a79a3f170e46a8cd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 19 Jan 2026 18:54:46 -0800 Subject: [PATCH] set arch to x64 on MacOs build Signed-off-by: Nikolaj Bjorner --- .github/workflows/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index ed484cff0..5b9a31e1e 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -48,7 +48,7 @@ jobs: python-version: '3.x' - name: Build - run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk + run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=x64 - name: Clone z3test run: git clone https://github.com/z3prover/z3test z3test