The GitHub Actions job "tvm-bot" on tvm.git/main has succeeded. Run started by GitHub user actinks (triggered by actinks).
Head commit for run: 30c555bd202f4d4fb749347ad68a5b3b31ea01f6 / Yong Wu <[email protected]> [CI] Remove tvm-lint from tvm-bot (#19629) Remove tvm-lint from tvm-bot Report URL: https://github.com/apache/tvm/actions/runs/26575923647 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
