The GitHub Actions job "Lint" on tvm.git/remove-assertstmt-body has failed. Run started by GitHub user tqchen (triggered by tqchen).
Head commit for run: fa88b8ca180991587fe182fec7a92632db397d81 / tqchen <[email protected]> [IR][TIR] Remove body from AssertStmt Remove the body field from AssertStmt, making it a leaf statement. Constraints from AssertStmt are now tracked via WithGroup<ConstraintContext> in a ScopeStack, providing clean RAII-based scope management. New utilities: - WithGroup<T>: manages a dynamic group of With<T> RAII contexts - ScopeStack<T>: scope stack for hierarchical state during IR visiting Report URL: https://github.com/apache/tvm/actions/runs/22452251708 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
