Skip to content

feat: basic diffing utilities - #192

Open
thorimur wants to merge 19 commits into
leanprover-community:mainfrom
thorimur:venn
Open

thorimur wants to merge 19 commits into
leanprover-community:mainfrom
thorimur:venn

chore: ignoreShared

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

Annotations

1 warning and 1 notice
build
succeeded Nov 8, 2026 in 37s