Skip to content

Merge branch 'main' of https://github.com/leanprover-community/lean4w…

7458b12
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Tracking PR: live deployment #54

Merge branch 'main' of https://github.com/leanprover-community/lean4w…
7458b12
Select commit
Loading
Failed to load commit list.

Annotations

1 error and 10 warnings
Lint
failed Apr 16, 2026 in 35s