Skip to content

Updated Z3#177

Open
tochilinak wants to merge 4 commits into
UnitTestBot:mainfrom
tochilinak:tochilinak/z3-update
Open

Updated Z3#177
tochilinak wants to merge 4 commits into
UnitTestBot:mainfrom
tochilinak:tochilinak/z3-update

Fallback to 4.15.8

5974c68
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors and 3 warnings
Run tests (macos-latest)
cancelled Apr 6, 2026 in 7m 38s