Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Turns out the docker command in CI is set up such that it doesn't need an explicit sudo, so remove it. This will also allow us to easily pass environment variables to mktree in the next commit (as otherwise we'd have to use the ugly -E, --preserve-env option). No functional change.
- Loading branch information