Skip to content

ci: pin Z3 to 4.15.4, the latest version without mut_recursive timeout - #149

Merged
coord-e merged 4 commits into
mainfrom
claude/ci-z3-upgrade-4.16-ouzzhj
Jun 28, 2026
Merged

ci: pin Z3 to 4.15.4, the latest version without mut_recursive timeout#149
coord-e merged 4 commits into
mainfrom
claude/ci-z3-upgrade-4.16-ouzzhj

ci: pin Z3 to 4.15.4, last version without mut_recursive timeout

d9f6959
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar