masahi commented on pull request #7212: URL: https://github.com/apache/tvm/pull/7212#issuecomment-754500048
If you want to run CI again, you can do a dummy commit and push. Make sure the failure is not due to your change. If you believe it is indeed a flaky test, you can open an issue. But since the test fails with segfault, which should not happen, it is likely there is some problem with your change. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
