The GitHub Actions job "CI" on tvm.git/2026-06-03-arith-z3-analyzer has failed. Run started by GitHub user Ubospica (triggered by Ubospica).
Head commit for run: fcb821f200e3f2b93405ff92ecdd5bd366578bdf / Ubospica <[email protected]> [CMAKE] Auto-enable Z3 when available Default USE_Z3 to AUTO so source builds use z3-static when installed while CI environments without the package still build the conservative stub. Report URL: https://github.com/apache/tvm/actions/runs/27497002445 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
