The GitHub Actions job "tvm-bot" on tvm.git/main has failed. Run started by GitHub user spectrometerHBH (triggered by spectrometerHBH).
Head commit for run: f79db0f5a932398fc428d4355a0ccc5986cc12c4 / Yixin Dong <[email protected]> [BUILD] Migrate the Z3 dependency to mlc-z3-static (#20084) ## Summary [mlc-ai/package#110](https://github.com/mlc-ai/package/pull/110) folded the `z3-static` wheel into `mlc-z3-static` (import module `mlc_z3_static`; versions restart at 4.16.0 without the `.post1` suffix). This PR points TVM's Z3 toolchain references at the new package: - `cmake/modules/contrib/Z3.cmake` probes `mlc_z3_static.config` first and keeps the legacy `z3_static.config` probe as a fallback, so existing environments and the current CI images keep working during the transition. - The `pyproject.toml` build requirement becomes `mlc-z3-static>=4.16.0`. - The CI docker image installs `mlc-z3-static==4.16.0`. Note: `mlc-z3-static` is not on PyPI yet. This PR should land only after the wheel is published; the CMake fallback keeps current CI images working, but docker image rebuilds and `pyproject.toml`-based wheel builds need the package on PyPI. ## Verification Since the wheel is not yet on PyPI, it was built locally from mlc-ai/package `main` (`254413e`, the #110 merge commit) and its bundled smoke test passed (static and shared consumers compile, link, and solve). - With both `mlc_z3_static` and legacy `z3_static` installed, `USE_Z3=ON` auto-detection links `mlc_z3_static/static/lib/libz3.a` (new package preferred). - With only the legacy `z3-static` package installed, the fallback probe still finds it. - Full build against the new package: Z3 statically linked into `libtvm_compiler.so`, no runtime `libz3` dependency (`ldd`). - `tests/python/arith/test_arith_z3.py`: 52 passed. - Full `tests/python/arith/` suite on the same toolchain: 1034 passed, 2 skipped, 26 xfailed. - `bash -n` on the docker install script passes. Report URL: https://github.com/apache/tvm/actions/runs/30891768294 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
