Skip to content

chore: replace lean4checker dependency with upstreamed replay#55

Open
Kha wants to merge 1 commit into
masterfrom
uppies
Open

chore: replace lean4checker dependency with upstreamed replay#55
Kha wants to merge 1 commit into
masterfrom
uppies

chore: replace lean4checker dependency with upstreamed `replay`

3c972ca
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar