The GitHub Actions job "Lint" on tvm.git/2026-06-03-arith-z3-analyzer has failed. Run started by GitHub user Ubospica (triggered by Ubospica).
Head commit for run: a4df6bafc614457ce2dfb09863696b4252f3199c / Ubospica <[email protected]> [CMAKE] Require z3-static config package Require the z3-static post release that exposes the config module used by the Z3 CMake lookup path. Report URL: https://github.com/apache/tvm/actions/runs/27645608736 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
