Skip to content

chore: add dev console logging#784

Merged
mhuisi merged 1 commit into
leanprover:masterfrom
mhuisi:push-yyzrmruqlmrp
May 27, 2026
Merged

chore: add dev console logging#784
mhuisi merged 1 commit into
leanprover:masterfrom
mhuisi:push-yyzrmruqlmrp

chore: add dev console logging

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

Annotations

1 warning
build-and-test-linux
succeeded May 27, 2026 in 5m 8s