From e9390ad433edb793f48a2dc9c9116ead1b1ff715 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 17 Jan 2026 10:20:32 -0800 Subject: [PATCH] Add architecture option to build command --- .github/workflows/nightly.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 18ae45847..1731e885b 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -38,7 +38,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