From 9b13dcee2a1ceb555de3a0f4c74b7951ae5a2cb9 Mon Sep 17 00:00:00 2001 From: Asankhaya Sharma Date: Thu, 19 Mar 2026 10:28:39 +0800 Subject: [PATCH 1/2] Pin z3-solver<=4.15.4.0 to fix ARM64 Docker builds Newer z3-solver versions (4.15.8.0, 4.16.0.0) don't ship pre-built ARM64 wheels, causing builds to fail when compiling Z3 from source. Pin to 4.15.4.0 which was the last version with working ARM64 wheels. Co-Authored-By: Claude Opus 4.6 (1M context) --- pyproject.toml | 2 +- requirements.txt | 2 +- requirements_proxy_only.txt | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/pyproject.toml b/pyproject.toml index f86f18f..81a5b0f 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -20,7 +20,7 @@ dependencies = [ "numpy", "networkx", "openai", - "z3-solver", + "z3-solver<=4.15.4.0", "aiohttp", "flask", "torch", diff --git a/requirements.txt b/requirements.txt index ceab41e..1dbace0 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,7 +1,7 @@ numpy networkx openai -z3-solver +z3-solver<=4.15.4.0 aiohttp flask torch diff --git a/requirements_proxy_only.txt b/requirements_proxy_only.txt index 5c5c87a..2d08f84 100644 --- a/requirements_proxy_only.txt +++ b/requirements_proxy_only.txt @@ -7,6 +7,6 @@ requests cerebras_cloud_sdk numpy networkx -z3-solver +z3-solver<=4.15.4.0 sympy math_verify \ No newline at end of file From 5847319adc456b4a0b77f69e686b94eca66437a9 Mon Sep 17 00:00:00 2001 From: Asankhaya Sharma Date: Thu, 19 Mar 2026 10:29:43 +0800 Subject: [PATCH 2/2] Add workflow_dispatch trigger to ARM64 Docker workflows Allows manually triggering builds from the Actions tab for testing without creating a release. Co-Authored-By: Claude Opus 4.6 (1M context) --- .github/workflows/publish-docker-full-arm64.yml | 1 + .github/workflows/publish-docker-offline-arm64.yml | 1 + .github/workflows/publish-docker-proxy-arm64.yml | 1 + 3 files changed, 3 insertions(+) diff --git a/.github/workflows/publish-docker-full-arm64.yml b/.github/workflows/publish-docker-full-arm64.yml index 6fef662..24f424b 100644 --- a/.github/workflows/publish-docker-full-arm64.yml +++ b/.github/workflows/publish-docker-full-arm64.yml @@ -2,6 +2,7 @@ name: Docker Full ARM64 on: release: types: [created] + workflow_dispatch: jobs: build: diff --git a/.github/workflows/publish-docker-offline-arm64.yml b/.github/workflows/publish-docker-offline-arm64.yml index 9f72716..2750fee 100644 --- a/.github/workflows/publish-docker-offline-arm64.yml +++ b/.github/workflows/publish-docker-offline-arm64.yml @@ -2,6 +2,7 @@ name: Docker Offline ARM64 on: release: types: [created] + workflow_dispatch: jobs: build: diff --git a/.github/workflows/publish-docker-proxy-arm64.yml b/.github/workflows/publish-docker-proxy-arm64.yml index ab1e807..b803a03 100644 --- a/.github/workflows/publish-docker-proxy-arm64.yml +++ b/.github/workflows/publish-docker-proxy-arm64.yml @@ -2,6 +2,7 @@ name: Docker Proxy ARM64 on: release: types: [created] + workflow_dispatch: jobs: build: