The GitHub Actions job "CI" on tvm.git/2026-08-02-mlc-z3-static has failed. Run started by GitHub user Ubospica (triggered by Ubospica).
Head commit for run: fee9a423f408361540720f4e87fb8d3f7135b6fd / Ubospica <[email protected]> [BUILD] Migrate the Z3 dependency to mlc-z3-static mlc-ai/package#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). Point the 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 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. mlc-z3-static must be published to PyPI before the CI docker images are rebuilt or wheels are built from this revision. Report URL: https://github.com/apache/tvm/actions/runs/30777680783 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
