test: log git calls when Lake fails in the local-dep tests - #821

test: log git calls when Lake fails in the local-dep tests#821

mhuisi merged 1 commit into

leanprover:masterleanprover/vscode-lean4:masterfrom

mhuisi:push-uspwrykowytsmhuisi/vscode-lean4:push-uspwrykowytsCopy head branch name to clipboard