areusch commented on issue #9610:
URL: https://github.com/apache/tvm/issues/9610#issuecomment-984898956


   ignore my previous comment about workspaces--what is 
[reported](https://ci.tlcpack.ai/job/tvm/job/PR-9631/3/ws/) in Jenkins on the 
PR doesn't match what docker/bash says:
   ```
   + docker/bash.sh tlcpack/ci-lint:v0.67 ./tests/scripts/task_lint.sh
   REPO_DIR: /home/octo.aws.c4/workspace/exec_2/tvm/sanity
   DOCKER CONTAINER NAME: tlcpack/ci-lint:v0.67
   ```


-- 
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.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]


Reply via email to