The GitHub Actions job "Lint" on tvm.git/2026-06-03-name has failed. Run started by GitHub user Ubospica (triggered by Ubospica).
Head commit for run: 6fca18cab6b3e44145b8897f9ab91021f2d461ce / Ubospica <[email protected]> [ARITH] Add optional Z3-backed proving to Analyzer Add an optional Z3 SMT solver backend to tvm::arith::Analyzer for stronger integer arithmetic proving. The integration is guarded by a new USE_Z3 CMake option (default OFF). When enabled, Analyzer::CanProve runs the existing analysis path first and only falls back to Z3 when the existing analyzers cannot prove the predicate. When disabled, a stub implementation keeps the C++ and Python APIs available without Z3. Report URL: https://github.com/apache/tvm/actions/runs/26912139234 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
