Skip to content

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

Merged
mhuisi merged 1 commit into
leanprover:masterfrom
mhuisi:push-uspwrykowyts
Nov 11, 2026
Merged

mhuisi merged 1 commit into
leanprover:masterfrom
mhuisi:push-uspwrykowyts

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

d6d97ca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build
succeeded Nov 11, 2026 in 26s