tvm-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <>
Subject [GitHub] [incubator-tvm] areusch opened a new pull request #5970: Improve docker/bash script to handle git worktrees
Date Tue, 30 Jun 2020 19:47:47 GMT

areusch opened a new pull request #5970:

   The lint tool doesn't mount the correct .git directory into the docker image when using
git-worktree. Adding support for that.

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:

View raw message