Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
BUILD: Use docker_shell directly, instead of sh_binary
Signed-off-by: Eryk Szpotanski <eszpotanski@antmicro.com>
- Loading branch information