Skip to content

feat: link live.lean-lang.org to comparator.live.lean-lang.org#9

Closed
robsimmons wants to merge 3 commits into
nixosfrom
nixos-comparator
Closed

feat: link live.lean-lang.org to comparator.live.lean-lang.org#9
robsimmons wants to merge 3 commits into
nixosfrom
nixos-comparator

wording

2aa4256
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar