Skip to content

feat: keep the previous Lean declarations diff visible while a new build runs#56

Open
adomani wants to merge 3 commits into
masterfrom
carry-forward-decls-diff
Open

feat: keep the previous Lean declarations diff visible while a new build runs#56
adomani wants to merge 3 commits into
masterfrom
carry-forward-decls-diff

align warning wording with the new stale/merge-master heading

679eb1c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar